diff options
| author | Bernhard Reutner-Fischer <rep.dot.nop@gmail.com> | 2008-09-16 16:07:35 +0000 |
|---|---|---|
| committer | Bernhard Reutner-Fischer <rep.dot.nop@gmail.com> | 2008-09-16 16:07:35 +0000 |
| commit | 85163e7990e5130a0798ff2c0341961c86ac836a (patch) | |
| tree | 9ad77f8079a120e00a0b898b5be7fb589b179e60 /extra/scripts | |
| parent | 5d2a22bbbd974d52512cb9d631746422c1bdfdac (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
Diffstat (limited to 'extra/scripts')
| -rwxr-xr-x | extra/scripts/randconfig.sh | 26 |
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 |