aboutsummaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/randomtest2
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/randomtest b/scripts/randomtest
index 41f252ad7..287f1c771 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