1 files changed, 21 insertions, 5 deletions
diff --git a/extra/scripts/randconfig.sh b/extra/scripts/randconfig.sh
index d0be318c8..d83731b6e 100755
--- a/extra/scripts/randconfig.sh
+++ b/extra/scripts/randconfig.sh
@@ -1,19 +1,34 @@
 #!/bin/sh
 
+# build random configurations
+# Usage:
+# ARCH=i386 nohup ./extra/scripts/randconfig.sh & sleep 1800 && touch STOP
+#
+# 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
- echo '# UCLIBC_PREGENERATED_LOCALE_DATA is not set'
- echo '# UCLIBC_DOWNLOAD_PREGENERATED_LOCALE_DATA is not set'
+ echo '# DOMULTI is not set'
 ) > $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
@@ -24,3 +39,4 @@ do
   fi
   make distclean > /dev/null || true
 done
+rm -f STOP