| Index: lib/dom/scripts/dartdomgenerator.py
|
| diff --git a/lib/dom/scripts/dartdomgenerator.py b/lib/dom/scripts/dartdomgenerator.py
|
| index 2dd1de8ccc70895ccf4de824f287a1498539e63f..03ffa9557b1895742393c281ad45417b860b5e87 100755
|
| --- a/lib/dom/scripts/dartdomgenerator.py
|
| +++ b/lib/dom/scripts/dartdomgenerator.py
|
| @@ -141,7 +141,9 @@ def Generate(systems, database_dir, use_database_cache, dom_output_dir,
|
| elif system == 'htmldartium':
|
| # Generate native wrappers.
|
| native_system = NativeImplementationSystem(
|
| - TemplateLoader(template_dir, ['dom/native', 'dom', '']),
|
| + TemplateLoader(template_dir, ['dom/native', 'html/dartium',
|
| + 'html/impl', ''],
|
| + {'DARTIUM': True, 'FROG': False}),
|
| dom_database, html_database, html_renames, emitters, output_dir)
|
| generator.Generate(dom_database, native_system,
|
| source_filter=['WebKit', 'Dart'],
|
|
|