diff options
| -rw-r--r-- | ci/common/test.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/common/test.sh b/ci/common/test.sh index c987875cc0..55f76ca798 100644 --- a/ci/common/test.sh +++ b/ci/common/test.sh @@ -110,6 +110,7 @@ run_oldtests() {( )} check_runtime_files() {( + set +x local test_name="$1" ; shift local message="$1" ; shift local tst="$1" ; shift |