checktools: make it easier to trace what is happening

rust-lang · Mar 31, 2024 · 85d460e · 85d460e
1 parent b08b06e
commit 85d460e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh b/src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh
@@ -2,6 +2,7 @@
 # ignore-tidy-linelength
 
 set -eu
+set -x # so one can see where we are in the script
 
 X_PY="$1"