| Index: client/tools/update.py
|
| diff --git a/client/tools/update.py b/client/tools/update.py
|
| index f1e6c0b768b21c65fee3b2d8bf1daec8d36d1807..364960bd3887c6054e64a2e77a21ba684ffef9d6 100755
|
| --- a/client/tools/update.py
|
| +++ b/client/tools/update.py
|
| @@ -38,7 +38,7 @@ def convertOne(infile, options):
|
| options.verbose)
|
| if 'js' in options.target:
|
| htmlconverter.convertForChromium(
|
| - infile, options.optimize, options.dartc_extra_flags,
|
| + infile, options.optimize, options.frog, options.dartc_extra_flags,
|
| outfile.replace('.html', '-js.html'),
|
| options.verbose)
|
|
|
| @@ -50,6 +50,10 @@ def Flags():
|
| help="The target html to generate",
|
| metavar="[js,dart]",
|
| default='js,dart')
|
| + result.add_option("--frog",
|
| + help="Use frog compiler (default dartc)",
|
| + default=False,
|
| + action="store_true")
|
| result.add_option("--optimize",
|
| help="Use optimizer in dartc",
|
| default=False,
|
|
|