summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--util/sconfig/config.g4
1 files changed, 2 insertions, 2 deletions
diff --git a/util/sconfig/config.g b/util/sconfig/config.g
index 94c665f15e..cdc53a89b9 100644
--- a/util/sconfig/config.g
+++ b/util/sconfig/config.g
@@ -602,8 +602,8 @@ def getdict(dict, name):
def setdict(dict, name, value):
debug.info(debug.dict, "setdict sets %s to %s" % (name, value))
- if name in dict.keys():
- print "Duplicate in dict: %s" % name
+ if name in dict.keys() and not dict[name] == value:
+ print "Collision in dict: %s is %s, shall be set to %s" % (name, dict[name], value)
dict[name] = value