generate: ignore duplicate .globls

DMOJ · Mar 15, 2024 · 548e2d0 · 548e2d0
1 parent 12fedb4
commit 548e2d0
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/generate.py b/generate.py
@@ -29,13 +29,15 @@ def get_functions():
                     name = match.group(1)
                     if name.startswith('__mem'):
                         name = name.lstrip('_')
+			print('Found `%s` in "%s"' % (name, file))
                         functions.append(name)
                         function_xmm[name] = xmm_usage[file]
 
                 match = rexmm.search(line)
                 if match:
                     xmm_usage[file].add(int(match.group(1)))
 
+    functions = list(set(functions))
     functions.sort()
     return functions, function_xmm