diff options
author | Denys Vlasenko <vda.linux@googlemail.com> | 2017-12-31 17:30:02 +0100 |
---|---|---|
committer | Denys Vlasenko <vda.linux@googlemail.com> | 2017-12-31 17:30:02 +0100 |
commit | 82d1c1f84ae23793d81b50aa0a753ad7c4db4f51 (patch) | |
tree | e5c1dc00b04299cf627cf2ef18453aea96c5f1e5 /scripts | |
parent | 36acc4631c94bb0f43ecaac5d61dc773ef773e91 (diff) | |
download | busybox-w32-82d1c1f84ae23793d81b50aa0a753ad7c4db4f51.tar.gz busybox-w32-82d1c1f84ae23793d81b50aa0a753ad7c4db4f51.tar.bz2 busybox-w32-82d1c1f84ae23793d81b50aa0a753ad7c4db4f51.zip |
randomconfig fixes
Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
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 | |||
66 | continue | 66 | continue |
67 | fi | 67 | fi |
68 | fi | 68 | fi |
69 | grep -i 'warning:' "$dir/make.log" | ||
69 | rm -rf -- "$dir" | 70 | rm -rf -- "$dir" |
70 | let cnt++ | 71 | let cnt++ |
71 | done | 72 | done |