diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2009-02-04 02:26:26 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2009-02-04 09:01:23 +0300 |
commit | 3da936523445eb7a74dfe3ab1fe0ce82fac56174 (patch) | |
tree | 79041b8aebd522648d94fc5c3d87724731432565 /t/test-lib.sh | |
parent | 268fac6919ef673094e50e2d944d09f017f5ad33 (diff) |
Tests: let --valgrind imply --verbose and --tee
It does not make much sense to run the (expensive) valgrind tests and
not look at the output.
To prevent output from scrolling out of reach, the parameter --tee is
implied, too.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 't/test-lib.sh')
-rw-r--r-- | t/test-lib.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/t/test-lib.sh b/t/test-lib.sh index 34f372c92f..bc87936bab 100644 --- a/t/test-lib.sh +++ b/t/test-lib.sh @@ -9,7 +9,7 @@ case "$GIT_TEST_TEE_STARTED, $* " in done,*) # do not redirect again ;; -*' --tee '*) +*' --tee '*|*' --va'*) mkdir -p test-results BASE=test-results/$(basename "$0" .sh) (GIT_TEST_TEE_STARTED=done ${SHELL-sh} "$0" "$@" 2>&1; @@ -111,7 +111,7 @@ do # noop now... shift ;; --va|--val|--valg|--valgr|--valgri|--valgrin|--valgrind) - valgrind=t; shift ;; + valgrind=t; verbose=t; shift ;; --tee) shift ;; # was handled already *) |