checktools: make it easier to trace what is happening

2024-03-31 23:10:47 +02:00 · 2024-03-31 23:10:47 +02:00 · 85d460e829
commit 85d460e829
parent b08b06e3a8
1 changed files with 1 additions and 0 deletions
--- 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"