diff --git a/test/run-integration-tests.sh b/test/run-integration-tests.sh index 7d70be3fea..4afaa0909e 100755 --- 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--"