| Index: lib/compiler/implementation/dart2js.dart
|
| ===================================================================
|
| --- lib/compiler/implementation/dart2js.dart (revision 7371)
|
| +++ lib/compiler/implementation/dart2js.dart (working copy)
|
| @@ -46,6 +46,8 @@
|
| options.add(argument);
|
| } else if ('--no-colors' == argument) {
|
| colors.enabled = false;
|
| + } else if ('--enable-checked-mode' == argument) {
|
| + options.add(argument);
|
| } else if (argument.startsWith('-')) {
|
| fail('Unknown option $argument.');
|
| } else {
|
|
|