| 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*'
|
|
|