diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/explore-kconfig.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/explore-kconfig.py b/bin/explore-kconfig.py index 1de7f0d..c4dcbff 100755 --- a/bin/explore-kconfig.py +++ b/bin/explore-kconfig.py @@ -101,7 +101,9 @@ def main(): if args.with_neighbourhood and status["success"]: config_filename = status["config_path"] logging.info(f"Exploring neighbourhood of {config_filename}") - kconf.run_exploration_from_file(config_filename) + kconf.run_exploration_from_file( + config_filename, with_initial_config=False + ) if args.neighbourhood: # TODO also explore range of numeric options |