summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
Diffstat (limited to 'bin')
-rwxr-xr-xbin/explore-kconfig.py6
1 files changed, 6 insertions, 0 deletions
diff --git a/bin/explore-kconfig.py b/bin/explore-kconfig.py
index c4dcbff..7b20c89 100755
--- a/bin/explore-kconfig.py
+++ b/bin/explore-kconfig.py
@@ -40,6 +40,9 @@ def main():
help="Set log level",
)
parser.add_argument(
+ "--enumerate", action="store_true", help="Enumerate all valid configurations"
+ )
+ parser.add_argument(
"--random",
type=int,
help="Explore a number of random configurations (make randconfig)",
@@ -94,6 +97,9 @@ def main():
kconf.run_nfpkeys()
+ if args.enumerate:
+ kconf.enumerate()
+
if args.random:
for i in range(args.random):
logging.info(f"Running randconfig {i+1} of {args.random}")