diff options
-rwxr-xr-x | test/scripts/git_pull_or_clean.sh | 7 | ||||
-rwxr-xr-x | test/scripts/test-loop.sh | 4 |
2 files changed, 8 insertions, 3 deletions
diff --git a/test/scripts/git_pull_or_clean.sh b/test/scripts/git_pull_or_clean.sh index 489091f9b82..b119a9ccb60 100755 --- a/test/scripts/git_pull_or_clean.sh +++ b/test/scripts/git_pull_or_clean.sh @@ -1,3 +1,8 @@ #!/bin/sh +CMD='git clean -dfX */' -git pull | grep -q -v 'Already up-to-date.' || git clean -dfX */ +if git pull | grep -v 'Already up-to-date.' +then + echo "Executing $CMD" + $CMD +fi diff --git a/test/scripts/test-loop.sh b/test/scripts/test-loop.sh index 9f228833c02..17dc7c39cdf 100755 --- a/test/scripts/test-loop.sh +++ b/test/scripts/test-loop.sh @@ -94,7 +94,7 @@ do if [[ "$PRE_EXEC_CMD" != "" ]] then echo "Executing \`$PRE_EXEC_CMD' before test.." - if ! ($PRE_EXEC_CMD 2>$TMP 1>$TMP) + if ! ($PRE_EXEC_CMD 2>&1 | tee $TMP) then echo "\`$PRE_EXEC_CMD' failed!" >&2 REASON="$PRE_EXEC_CMD failed" @@ -102,7 +102,7 @@ do fi fi echo -n "Running test iteration #$COUNT..." - if ! ($CMD 2>$TMP 1>$TMP) + if ! ($CMD >$TMP 2>&1) then AFTER=`date +%s` RUNTIME=$((AFTER-BEFORE)) |