Index: Source/bindings/scripts/utilities.py |
diff --git a/Source/bindings/scripts/utilities.py b/Source/bindings/scripts/utilities.py |
index 0aeabc20b3610e6fbef41af25430e1b57cd958e5..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) |
@@ -119,6 +122,11 @@ def is_callback_interface_from_idl(file_contents): |
return bool(match) |
+def is_dictionary_from_idl(file_contents): |
+ match = re.search(r'dictionary\s+\w+\s*{', file_contents) |
+ return bool(match) |
+ |
+ |
def get_parent_interface(file_contents): |
match = re.search(r'interface\s+' |
r'\w+\s*' |