summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBernhard Reutner-Fischer <rep.dot.nop@gmail.com>2008-09-16 16:07:35 +0000
committerBernhard Reutner-Fischer <rep.dot.nop@gmail.com>2008-09-16 16:07:35 +0000
commit85163e7990e5130a0798ff2c0341961c86ac836a (patch)
tree9ad77f8079a120e00a0b898b5be7fb589b179e60
parent5d2a22bbbd974d52512cb9d631746422c1bdfdac (diff)
- add script to generate lots of failing (random)configs
rm -f STOP ; ARCH=i386 nohup extra/scripts/randconfig.sh & if you want to stop it, touch STOP
-rwxr-xr-xextra/scripts/randconfig.sh26
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