diff options
| author | Denys Vlasenko <vda.linux@googlemail.com> | 2016-06-19 21:54:04 +0200 |
|---|---|---|
| committer | Denys Vlasenko <vda.linux@googlemail.com> | 2016-06-19 21:54:04 +0200 |
| commit | bb0bf287d8fcb59a7d44661681576f77845dedbc (patch) | |
| tree | 5cae0ee59152b2fa77a0e3ea0d6713dba7755bce /scripts | |
| parent | 015db5800ca7c6dd2d201eacb2951e72e6782b30 (diff) | |
| download | busybox-w32-bb0bf287d8fcb59a7d44661681576f77845dedbc.tar.gz busybox-w32-bb0bf287d8fcb59a7d44661681576f77845dedbc.tar.bz2 busybox-w32-bb0bf287d8fcb59a7d44661681576f77845dedbc.zip | |
randomconfig fixes 2
Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
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 |