From e5a258256fbfebabf068fbb2001eab0c71de1a0d Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Tue, 1 Sep 2020 08:06:57 +0200 Subject: add randconfig target --- Makefile | 2 +- script/randconfig | 13 +++++++++++++ 2 files changed, 14 insertions(+), 1 deletion(-) create mode 100755 script/randconfig diff --git a/Makefile b/Makefile index 7952cf1..9244c3f 100644 --- a/Makefile +++ b/Makefile @@ -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 -- cgit v1.2.3