diff options
-rwxr-xr-x | test/runtests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/runtests.sh b/test/runtests.sh index 8307eac..6e5391a 100755 --- a/test/runtests.sh +++ b/test/runtests.sh @@ -7,7 +7,7 @@ TIMEOUT=10 FAILED="" for t in $TESTS; do - echo Running test $t + echo Running test $t | tee > /dev/kmsg timeout -s INT $TIMEOUT ./$t r=$? if [ "${r}" -eq 124 ]; then |