randomconfig fixes

Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
This commit is contained in:
Denys Vlasenko committed 2017-12-31 17:30:02 +01:00
1 parent 36acc4631c
commit 82d1c1f84a
13 files changed
+43 -22

No files matched your search

+1
View File
@@ -66,6 +66,7 @@ while sleep 1; do
continue
fi
fi
grep -i 'warning:' "$dir/make.log"
rm -rf -- "$dir"
let cnt++
done