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;
# noop now...
shift ;;
--va|--val|--valg|--valgr|--valgri|--valgrin|--valgrind)
- valgrind=t; shift ;;
+ valgrind=t; verbose=t; shift ;;
--tee)
shift ;; # was handled already
*)