script: Fix remap

dtcxzyw · Feb 1, 2025 · a2b870a · a2b870a
1 parent 446c9f9
commit a2b870a
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/scripts/name_remap.py b/scripts/name_remap.py
@@ -132,8 +132,6 @@ def remap(line: str, ref: str, mapping):
                         mapping[b[1]] = {a[1]}
                     else:
                         mapping[b[1]].add(a[1])
-    if len(mapping) == 0:
-        continue
     path = file.source_file.removeprefix('a/')
     with open(path, "r") as f:
         lines = f.readlines()