diff options
author | Daniel Friesel <daniel.friesel@uos.de> | 2020-09-01 08:06:57 +0200 |
---|---|---|
committer | Daniel Friesel <daniel.friesel@uos.de> | 2020-09-01 08:06:57 +0200 |
commit | e5a258256fbfebabf068fbb2001eab0c71de1a0d (patch) | |
tree | ada0bfe370431e3d11311668114c66648f422ccb /script | |
parent | 9e5ec3fb992f42aeab63a3c3f137c6b2e62a3ab5 (diff) |
add randconfig target
Diffstat (limited to 'script')
-rwxr-xr-x | script/randconfig | 13 |
1 files changed, 13 insertions, 0 deletions
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 |