From bb0bf287d8fcb59a7d44661681576f77845dedbc Mon Sep 17 00:00:00 2001
From: Denys Vlasenko <vda.linux@googlemail.com>
Date: Sun, 19 Jun 2016 21:54:04 +0200
Subject: randomconfig fixes 2

Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
---
 scripts/randomtest | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'scripts')

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
-- 
cgit v1.2.3