diff options
| -rwxr-xr-x | bin/explore-kconfig.py | 2 | ||||
| -rw-r--r-- | lib/kconfig.py | 5 |
2 files changed, 7 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}") diff --git a/lib/kconfig.py b/lib/kconfig.py index a85586f..494c25b 100644 --- a/lib/kconfig.py +++ b/lib/kconfig.py @@ -126,6 +126,11 @@ class KConfig: sha256sum = status.stdout.split()[0] return sha256sum + def run_nfpkeys(self): + nfpkeys = File("nfpkeys.json") + with open(nfpkeys.path, "w") as out_fd: + subprocess.check_call(["make", "nfpkeys"], cwd=self.cwd, stdout=out_fd) + def run_randconfig(self): """Run a randomconfig experiment in the selected project. Results are written to the current working directory.""" experiment = RandomConfig() |