Index: Source/bindings/scripts/utilities.py |
diff --git a/Source/bindings/scripts/utilities.py b/Source/bindings/scripts/utilities.py |
index 28beb17c94e8a842c10f7f4ddafa980f47ef0224..74c318a9fbb28332bc572df7657e4debb2830901 100644 |
--- a/Source/bindings/scripts/utilities.py |
+++ b/Source/bindings/scripts/utilities.py |
@@ -49,6 +49,9 @@ def write_file(new_text, destination_filename, only_if_changed): |
with open(destination_filename) as destination_file: |
if destination_file.read() == new_text: |
return |
+ destination_dirname = os.path.dirname(destination_filename) |
+ if not os.path.exists(destination_dirname): |
+ os.makedirs(destination_dirname) |
with open(destination_filename, 'w') as destination_file: |
destination_file.write(new_text) |