debugging

Author: RalfJung

src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh

@@ -2,9 +2,14 @@
 # ignore-tidy-linelength
 
 set -eu
+set -x # so one can see where we are in the script
 
 X_PY="$1"
 
+# Try Miri first as that's what we are debugging.
+# Default stage should suffice.
+python3 "$X_PY" test src/tools/miri
+
 # Try to test the toolstate-tracked tools and store the build/test success in the TOOLSTATE_FILE.
 
 set +e
@@ -23,8 +28,8 @@ cat /tmp/toolstate/toolstates.json
 
 # Test remaining tools that must pass.
 python3 "$X_PY" test --stage 2 check-tools
-python3 "$X_PY" test --stage 2 src/tools/clippy
-python3 "$X_PY" test --stage 2 src/tools/rustfmt
+#python3 "$X_PY" test --stage 2 src/tools/clippy
+#python3 "$X_PY" test --stage 2 src/tools/rustfmt
 
 # Testing Miri is a bit more complicated.
 # We set the GC interval to the shortest possible value (0 would be off) to increase the chance
@@ -55,6 +60,7 @@ case $HOST_TARGET in
     # Only run "pass" tests, which is quite a bit faster.
     python3 "$X_PY" test --stage 2 src/tools/miri --target aarch64-apple-darwin --test-args pass
     python3 "$X_PY" test --stage 2 src/tools/miri --target i686-pc-windows-gnu --test-args pass
+    exit 1 # fail, as we are debugging
     ;;
   *)
     echo "FATAL: unexpected host $HOST_TARGET"