| Index: client/dom/scripts/dartdomgenerator.py
|
| diff --git a/client/dom/scripts/dartdomgenerator.py b/client/dom/scripts/dartdomgenerator.py
|
| index 679536ba8fd09b2d6500c0430865c11bfc95a928..c05c2fc38c6b7b91c36d98bf9c40063e1ccf8977 100755
|
| --- a/client/dom/scripts/dartdomgenerator.py
|
| +++ b/client/dom/scripts/dartdomgenerator.py
|
| @@ -14,8 +14,8 @@ import shutil
|
| import sys
|
|
|
| DOM_LIBRARY = 'dom.dart'
|
| -DOM_DEFAULT_LIBRARY = 'wrapping_dom.dart'
|
| -DEFAULT_SYSTEM = 'wrapping'
|
| +DOM_DEFAULT_LIBRARY = 'dom_dummy.dart'
|
| +DEFAULT_SYSTEM = 'dummy'
|
|
|
| _logger = logging.getLogger('dartdomgenerator')
|
|
|
| @@ -90,8 +90,8 @@ def main():
|
| parser = optparse.OptionParser()
|
| parser.add_option('--systems', dest='systems',
|
| action='store', type='string',
|
| - default='frog,wrapping',
|
| - help='Systems to generate (frog, native, wrapping)')
|
| + default='frog,dummy',
|
| + help='Systems to generate (frog, native, dummy)')
|
| parser.add_option('--output-dir', dest='output_dir',
|
| action='store', type='string',
|
| default=None,
|
|
|