| Index: tools/dom/scripts/dartdomgenerator.py
|
| diff --git a/tools/dom/scripts/dartdomgenerator.py b/tools/dom/scripts/dartdomgenerator.py
|
| index 4183eb686cc97f09ec5fbe70f88a9dd0e6e3240e..e57e678cb21b650cb1b76828cb2be2ee75916664 100755
|
| --- a/tools/dom/scripts/dartdomgenerator.py
|
| +++ b/tools/dom/scripts/dartdomgenerator.py
|
| @@ -101,7 +101,8 @@ def GenerateFromDatabase(common_database, dart2js_output_dir,
|
| template_paths = ['html/dart2js', 'html/impl', 'html/interface', '']
|
| template_loader = TemplateLoader(template_dir,
|
| template_paths,
|
| - {'DARTIUM': False, 'DART2JS': True})
|
| + {'DARTIUM': False, 'DART2JS': True,
|
| + 'DART_USE_BLINK' : False})
|
| backend_options = GeneratorOptions(
|
| template_loader, webkit_database, type_registry, renamer,
|
| metadata)
|
|
|