patch deepfreeze.py to create missing parent dirs

bjia56 · Dec 12, 2024 · 5e8118a · 5e8118a
1 parent e23b76b
commit 5e8118a
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/patches/3.13/06-deepfreeze-mkdir.patch b/patches/3.13/06-deepfreeze-mkdir.patch
@@ -0,0 +1,12 @@
+diff --git a/Tools/build/deepfreeze.py b/Tools/build/deepfreeze.py
+index 05633e3f77a..a8bdfb37b70 100644
+--- a/Tools/build/deepfreeze.py
++++ b/Tools/build/deepfreeze.py
+@@ -518,6 +518,7 @@ def main() -> None:
+     else:
+         rules = args.args
+
++    os.makedirs(os.path.dirname(output), exist_ok=True)
+     with open(output, "w", encoding="utf-8") as file:
+         with report_time("generate"):
+             generate(rules, file)