run-integration-tests: show make command line executed

That makes it much easier to figure out what to type to just run one
specific test for debugging.

diff --git a/test/run-integration-tests.sh b/test/run-integration-tests.sh
index 7d70be3fea6179f229110f0846d03c6e6f93cfe8..4afaa0909eee29047c510e1c7a17c5eb753c3033 100755 (executable)
--- a/test/run-integration-tests.sh
+++ b/test/run-integration-tests.sh
@@ -16,9 +16,9 @@ FAILURES=0
 
 cd "$(dirname "$0")"
 for TEST in TEST-??-* ; do
-        echo -e "\n--x-- Starting $TEST --x--"
+        echo -e "\n--x-- Running $TEST --x--"
         set +e
-        make -C "$TEST" "BUILD_DIR=$BUILD_DIR" $args
+        ( set -x ; make -C "$TEST" "BUILD_DIR=$BUILD_DIR" $args )
         RESULT=$?
         set -e
         echo "--x-- Result of $TEST: $RESULT --x--"