diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/randomtest.loop | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/randomtest.loop b/scripts/randomtest.loop index 758a8e862..710f5fd05 100755 --- a/scripts/randomtest.loop +++ b/scripts/randomtest.loop | |||
@@ -33,6 +33,7 @@ while sleep 1; do | |||
33 | ) | 33 | ) |
34 | if test $? != 0; then | 34 | if test $? != 0; then |
35 | echo "Failed runtest in $dir" | 35 | echo "Failed runtest in $dir" |
36 | grep ^FAIL -- "$dir/testsuite/runtest.log" | ||
36 | exit 1 # you may comment this out... | 37 | exit 1 # you may comment this out... |
37 | let fail++ | 38 | let fail++ |
38 | continue | 39 | continue |