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 |
