diff options
Diffstat (limited to 'extra')
| -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 |