embed: make target directory

urbiforge · Nov 16, 2023 · ba326b3 · ba326b3
1 parent e0e4d76
commit ba326b3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dev/embed.py b/dev/embed.py
@@ -16,7 +16,7 @@
 base_path = sys.argv[2]
 inputs = sys.argv[3:]
 
-
+os.makedirs(os.path.dirname(path), exist_ok=True)
 with open(output, 'w') as out:
     out.write("""
 #include <string>