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