diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2021-10-11 10:01:18 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2021-10-11 10:01:18 +0200 |
| commit | cb4b7204f88fbc914c47ed6fccda18db73ade2df (patch) | |
| tree | 64eaff319bd2483cd95e4da6d85d48f9b6c70435 /bin | |
| parent | 3814799ba6321d38057221d7d032461545ce24e5 (diff) | |
explore-kconfig: store "make nfpkeys" output in data directory
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/explore-kconfig.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/explore-kconfig.py b/bin/explore-kconfig.py index 98ec0a4..1de7f0d 100755 --- a/bin/explore-kconfig.py +++ b/bin/explore-kconfig.py @@ -92,6 +92,8 @@ def main(): if args.kconfig_file: kconf.kconfig = args.kconfig_file + kconf.run_nfpkeys() + if args.random: for i in range(args.random): logging.info(f"Running randconfig {i+1} of {args.random}") |