Avoid colon in paths

Colons are forbidden in paths on windows. Replace them with __.
happyhavoc · Oct 9, 2023 · ab20b28 · ab20b28
1 parent 2b6fda8
commit ab20b28
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/scripts/generate_function_diff.py b/scripts/generate_function_diff.py
@@ -12,8 +12,10 @@ def generate_function_diff(fn_name):
     diff_dir = base_dir / 'diff'
     resource_dir = base_dir / 'resources'
 
-    orig_asm_path = diff_dir / fn_name / 'orig.asm'
-    reimpl_asm_path = diff_dir / fn_name / 'reimpl.asm'
+    fs_fn_name = fn_name.replace(':', '__')
+
+    orig_asm_path = diff_dir / fs_fn_name / 'orig.asm'
+    reimpl_asm_path = diff_dir / fs_fn_name / 'reimpl.asm'
 
     os.makedirs(diff_dir / fn_name, exist_ok=True)
     with open(orig_asm_path, 'w') as out: