X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=src%2Fci%2Frun.sh;h=0db9c993eecb407f2fd72cb4a3a0a76ef3535cb4;hb=35d488f23da6c018e1f88097756e6135bdd0ecf6;hp=b64300277508dd15af81644f540beca9ccafbcfb;hpb=808be91da07c91e4d6006cca0ad78385785a741e;p=rust.git diff --git a/src/ci/run.sh b/src/ci/run.sh index b6430027750..0db9c993eec 100755 --- a/src/ci/run.sh +++ b/src/ci/run.sh @@ -184,11 +184,11 @@ if [ "$RUN_CHECK_WITH_PARALLEL_QUERIES" != "" ]; then $SRC/configure --set rust.parallel-compiler # Save the build metrics before we wipe the directory - if [ $HAS_METRICS = 1 ]; then + if [ "$HAS_METRICS" = 1 ]; then mv build/metrics.json . fi rm -rf build - if [ $HAS_METRICS = 1 ]; then + if [ "$HAS_METRICS" = 1 ]; then mkdir build mv metrics.json build fi