summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Friesel <daniel.friesel@uos.de>2021-10-14 15:48:25 +0200
committerDaniel Friesel <daniel.friesel@uos.de>2021-10-14 15:48:25 +0200
commit6c17b2b6b2c107711a86311ec52bf505afda16c7 (patch)
tree52ac991a5f63f27b801ce1af64a690c2b96876a5
parent0559b84f812629c0d92bc390f43024f79b07341c (diff)
kconfig range enumeration: first valid condition wins
-rw-r--r--lib/kconfig.py1
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