tools/ci/inria/extra-checks: print each command before its execution

2020-08-03 15:03:18 +02:00 · 2020-08-03 15:03:18 +02:00 · 5cb2218044
parent 4d7e78f224
commit 5cb2218044
1 changed files with 4 additions and 0 deletions
--- a/tools/ci/inria/extra-checks
+++ b/tools/ci/inria/extra-checks
@ -59,6 +59,10 @@ set_config_var() {
 }

 #########################################################################
+
+# Print each command before its execution
+set -x
+
 # stop on error
 set -e