diff options
-rw-r--r-- | Makefile | 2 | ||||
-rwxr-xr-x | script/randconfig | 13 |
2 files changed, 14 insertions, 1 deletions
@@ -332,7 +332,7 @@ config: Kconfig ${QUIET}kconfig-qconf Kconfig randconfig: Kconfig - ${QUIET}kconfig-conf --randconfig Kconfig + ${QUIET}script/randconfig clean: arch_clean rm -f build/system.elf diff --git a/script/randconfig b/script/randconfig new file mode 100755 index 0000000..21b6840 --- /dev/null +++ b/script/randconfig @@ -0,0 +1,13 @@ +#!/bin/sh + +# randconfig occasionally generates invalid configs which lack an application. +# Try generating a valid config up to ten times. + +for i in $(seq 1 10); do + kconfig-conf --randconfig Kconfig + if grep -F -q CONFIG_app= .config; then + exit 0 + fi +done + +exit 1 |