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 4d14b652f..edfbc5c58 100755 --- a/scripts/randomtest.loop +++ b/scripts/randomtest.loop @@ -66,6 +66,7 @@ while sleep 1; do continue fi fi + grep -i 'warning:' "$dir/make.log" rm -rf -- "$dir" let cnt++ done |