| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/generator/webui/build.dart
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/generator/webui/build.dart b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/generator/webui/build.dart
|
| index ca6ea15a38bf8312a4dd1666f4683bbea48bc069..a86b6c84f5db9b546b1b75273abbfd3f7fa6f902 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/generator/webui/build.dart
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/generator/webui/build.dart
|
| @@ -1,5 +1,6 @@
|
| import 'package:polymer/builder.dart';
|
|
|
| -main() {
|
| - build(entryPoints: ['web/{name.lower}.html']);
|
| -}
|
| +main(args) {
|
| + build(entryPoints: ['web/{name.lower}.html'],
|
| + options: parseOptions(args));
|
| +}
|
|
|