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 758a8e8..710f5fd 100755 --- a/scripts/randomtest.loop +++ b/scripts/randomtest.loop @@ -33,6 +33,7 @@ while sleep 1; do ) if test $? != 0; then echo "Failed runtest in $dir" + grep ^FAIL -- "$dir/testsuite/runtest.log" exit 1 # you may comment this out... let fail++ continue |