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) | |
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 # 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 |