| 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)
|
|
|
|
|