From e5a258256fbfebabf068fbb2001eab0c71de1a0d Mon Sep 17 00:00:00 2001
From: Daniel Friesel <daniel.friesel@uos.de>
Date: Tue, 1 Sep 2020 08:06:57 +0200
Subject: add randconfig target

---
 script/randconfig | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100755 script/randconfig

(limited to 'script/randconfig')

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