| Index: lib/dom/scripts/dartdomgenerator.py
|
| diff --git a/lib/dom/scripts/dartdomgenerator.py b/lib/dom/scripts/dartdomgenerator.py
|
| index 0536948281f41b725334f3b5b4c76e1a525e2b59..2dd1de8ccc70895ccf4de824f287a1498539e63f 100755
|
| --- a/lib/dom/scripts/dartdomgenerator.py
|
| +++ b/lib/dom/scripts/dartdomgenerator.py
|
| @@ -142,8 +142,7 @@ def Generate(systems, database_dir, use_database_cache, dom_output_dir,
|
| # Generate native wrappers.
|
| native_system = NativeImplementationSystem(
|
| TemplateLoader(template_dir, ['dom/native', 'dom', '']),
|
| - dom_database, html_database, html_renames, emitters, auxiliary_dir,
|
| - output_dir)
|
| + dom_database, html_database, html_renames, emitters, output_dir)
|
| generator.Generate(dom_database, native_system,
|
| source_filter=['WebKit', 'Dart'],
|
| super_database=common_database,
|
|
|