summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorDenys Vlasenko2016-06-19 21:54:04 +0200
committerDenys Vlasenko2016-06-19 21:54:04 +0200
commitbb0bf287d8fcb59a7d44661681576f77845dedbc (patch)
tree5cae0ee59152b2fa77a0e3ea0d6713dba7755bce /scripts
parent015db5800ca7c6dd2d201eacb2951e72e6782b30 (diff)
downloadbusybox-bb0bf287d8fcb59a7d44661681576f77845dedbc.zip
busybox-bb0bf287d8fcb59a7d44661681576f77845dedbc.tar.gz
randomconfig fixes 2
Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/randomtest2
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/randomtest b/scripts/randomtest
index 41f252a..287f1c7 100755
--- 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