diff options
author | Daniel Friesel <daniel.friesel@uos.de> | 2021-10-13 08:22:28 +0200 |
---|---|---|
committer | Daniel Friesel <daniel.friesel@uos.de> | 2021-10-13 08:22:28 +0200 |
commit | 092ac01b50e88dcf488d414ef7f595aea4621167 (patch) | |
tree | 974e4638c8a50b12bef9b2ccd8258771860e3876 /bin | |
parent | 2757121f9c2a63acb4493e2faf8bb608064ffbf4 (diff) |
kconfig: exhaustive enumeration of all valid configurations
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/explore-kconfig.py | 6 |
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}") |