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