| Index: client/dom/scripts/dartdomgenerator.py
|
| diff --git a/client/dom/scripts/dartdomgenerator.py b/client/dom/scripts/dartdomgenerator.py
|
| index 70cc4a43825910d797017f8837b648c519f4fca3..950f5d95b60fdaf6e4a6ef88a42dc37e5087913c 100755
|
| --- a/client/dom/scripts/dartdomgenerator.py
|
| +++ b/client/dom/scripts/dartdomgenerator.py
|
| @@ -54,8 +54,11 @@ def GenerateDOM(systems, output_dir):
|
| 'DOMStringList': 'List<String>',
|
| })
|
| generator.FilterMembersWithUnidentifiedTypes(common_database)
|
| - generator.ConvertToDartTypes(common_database)
|
| webkit_database = common_database.Clone()
|
| + # FIXME: get rid of _original_idl_types map in dartgenerator.py and
|
| + # call ConvertToDartTypes before cloning.
|
| + generator.ConvertToDartTypes(common_database)
|
| + generator.ConvertToDartTypes(webkit_database)
|
|
|
| generated_output_dir = os.path.join(output_dir, 'generated')
|
| if os.path.exists(generated_output_dir):
|
|
|