Suppress duplicate registration of the same configuration prefix

2013-12-04 02:18:43 +00:00 · 2013-12-04 02:18:43 +00:00 · dc6ba09b62
parent 0619afcc52
commit dc6ba09b62
1 changed files with 4 additions and 0 deletions
--- a/4
+++ b/4
@ -1328,8 +1328,12 @@ def register_program(program):
 			# If not an integer, treat this as a configuration profile.
 			pass
 	r = []
+	seen = set()
 	for e in l:
 		for prefix in itertools.product(*[v.split('+') for v in e.split(',')]):
+			if prefix in seen:
+				continue
+			seen.add(prefix)
 			r.append(program(prefix, variables))
 	return r
 d1x = register_program(D1XProgram)