diff options
Diffstat (limited to 'lib/kconfig.py')
-rw-r--r-- | lib/kconfig.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/kconfig.py b/lib/kconfig.py index f186204..d4ca354 100644 --- a/lib/kconfig.py +++ b/lib/kconfig.py @@ -435,5 +435,6 @@ class KConfig: self._run_explore_experiment( kconf, kconfig_hash, config_file ) + break else: continue |