diff --git a/patches/3.13/06-deepfreeze-mkdir.patch b/patches/3.13/06-deepfreeze-mkdir.patch new file mode 100644 index 0000000..44f30ce --- /dev/null +++ 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)