diff options
| -rwxr-xr-x | tests/runtests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/runtests.sh b/tests/runtests.sh index 324bbf5..30931a4 100755 --- a/tests/runtests.sh +++ b/tests/runtests.sh @@ -27,7 +27,7 @@ function run_nogui() { } function run_withgui() { - pd $IEMMATRIX -stderr runtests.pd > ${RUNTESTS_LOG} 2>&1 + pd $IEMMATRIX -stderr runtests.pd 2>&1 | tee ${RUNTESTS_LOG} } if test "x$1" = "x-gui"; then |