Print what is being executed on CI

This makes it easier to grep for executed commands in CI logs
rust-lang · Jun 19, 2023 · 0c147d5 · 0c147d5
1 parent 1dba972
commit 0c147d5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/ci/docker/host-x86_64/x86_64-gnu-llvm-14/script.sh b/src/ci/docker/host-x86_64/x86_64-gnu-llvm-14/script.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-set -e
+set -ex
 
 # Only run the stage 1 tests on merges, not on PR CI jobs.
 if [[ -z "${PR_CI_JOB}" ]]; then

diff --git a/src/ci/run.sh b/src/ci/run.sh
@@ -188,6 +188,7 @@ else
 fi
 
 if [ ! -z "$SCRIPT" ]; then
+  echo "Executing ${SCRIPT}"
   sh -x -c "$SCRIPT"
 else
   do_make() {