randomconfig fixes 2

Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
2016-06-19 21:54:04 +02:00
parent 015db5800c
commit bb0bf287d8
4 changed files with 6 additions and 3 deletions
--- a/scripts/randomtest
+++ b/scripts/randomtest
@ -115,6 +115,8 @@ fi

 # Build!
 nice -n 10 make $MAKEOPTS 2>&1 | tee make.log
+grep 'Rerun make' make.log \
+&& nice -n 10 make $MAKEOPTS 2>&1 | tee -a make.log

 # Return exitcode 1 if busybox executable does not exist
 test -x busybox