diff --git a/scripts/name_remap.py b/scripts/name_remap.py index 0d1ec557cd..0838dd874f 100644 --- 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()