diff options
| -rw-r--r-- | util/sconfig/config.g | 4 |
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 |