diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/randomtest | 2 |
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 | |||
115 | 115 | ||
116 | # Build! | 116 | # Build! |
117 | nice -n 10 make $MAKEOPTS 2>&1 | tee make.log | 117 | nice -n 10 make $MAKEOPTS 2>&1 | tee make.log |
118 | grep 'Rerun make' make.log \ | ||
119 | && nice -n 10 make $MAKEOPTS 2>&1 | tee -a make.log | ||
118 | 120 | ||
119 | # Return exitcode 1 if busybox executable does not exist | 121 | # Return exitcode 1 if busybox executable does not exist |
120 | test -x busybox | 122 | test -x busybox |