prettify our CI logs

[rust.git] / src / tools / miri / miri

diff --git a/src/tools/miri/miri b/src/tools/miri/miri
index fc6b6e2f4fdfdce0c85effd810f8011e788c791d..38d36898768e18c12f185a9e6966dcd86b55dd7f 100755 (executable)
--- a/src/tools/miri/miri
+++ b/src/tools/miri/miri
@@ -174,9 +174,9 @@ rustc-push)
     fi
     ;;
 many-seeds)
-    for SEED in $({ echo obase=16; seq 0 255; } | bc); do
+    for SEED in $(seq 0 255); do
         echo "Trying seed: $SEED"
-        MIRIFLAGS="$MIRIFLAGS -Zmiri-seed=$SEED" $@ || { echo "Failing seed: $SEED"; break; }
+        MIRIFLAGS="$MIRIFLAGS -Zlayout-seed=$SEED -Zmiri-seed=$SEED" $@ || { echo "Failing seed: $SEED"; break; }
     done
     exit 0
     ;;