1 files changed, 26 insertions, 0 deletions
diff --git a/extra/scripts/randconfig.sh b/extra/scripts/randconfig.sh
new file mode 100755
index 000000000..d0be318c8
--- /dev/null
+++ b/extra/scripts/randconfig.sh
@@ -0,0 +1,26 @@
+#!/bin/sh
+
+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'
+) > $KCONFIG_ALLCONFIG
+export KCONFIG_ALLCONFIG
+
+i=0
+while test ! -f STOP
+do
+  make $* randconfig > /dev/null
+  make $* silentoldconfig > /dev/null
+  if (make $*) 2>&1 >& mk.log
+  then
+    :
+  else
+    i=`expr $i + 1`
+    num=`printf "%.5d" $i`
+    mv .config FAILED.$num.config
+    mv mk.log FAILED.$num.log
+  fi
+  make distclean > /dev/null || true
+done