From c13dd47ecbbdb841042e1370c8011e84634db0e4 Mon Sep 17 00:00:00 2001
From: Bernhard Reutner-Fischer <rep.dot.nop@gmail.com>
Date: Fri, 15 Jan 2010 15:59:56 +0100
Subject: randconfig.sh: set number of make jobs

Signed-off-by: Bernhard Reutner-Fischer <rep.dot.nop@gmail.com>
---
 extra/scripts/randconfig.sh | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

diff --git a/extra/scripts/randconfig.sh b/extra/scripts/randconfig.sh
index 5986a9b12..4c7126bbc 100755
--- a/extra/scripts/randconfig.sh
+++ b/extra/scripts/randconfig.sh
@@ -6,6 +6,7 @@
 #
 # The above builds random i386 configs and automatically stops after 30 minutes
 
+test "x$AWK" = "x" && AWK=awk
 test "x$ARCH" = "x" && ARCH=`uname -m`
 KCONFIG_ALLCONFIG=.config.allconfig
 (echo TARGET_$ARCH=y
@@ -15,12 +16,21 @@ KCONFIG_ALLCONFIG=.config.allconfig
 ) > $KCONFIG_ALLCONFIG
 export KCONFIG_ALLCONFIG
 
+if test "x$NCPU" = "x"
+then
+  test -r /proc/cpuinfo && \
+  eval `$AWK 'BEGIN{NCPU=0}
+/processor/{let NCPU++}
+END{if (NCPU<1) {NCPU=1}; print("NCPU="NCPU);}' /proc/cpuinfo` || \
+  NCPU=1
+fi
+MAKELEVEL="-j$NCPU"
 i=0
 while test ! -f STOP
 do
-  make $* randconfig > /dev/null
-  make $* silentoldconfig > /dev/null
-  if (make $*) 2>&1 >& mk.log
+  ARCH=$ARCH make $* randconfig > /dev/null
+  ARCH=$ARCH make $* silentoldconfig > /dev/null
+  if (make $MAKELEVEL $*) 2>&1 >& mk.log
   then
     :
   else
-- 
cgit v1.2.3