| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/cmdline/CommandLineOptions.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/cmdline/CommandLineOptions.java (revision 11103)
|
| +++ editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/cmdline/CommandLineOptions.java (working copy)
|
| @@ -74,7 +74,7 @@
|
| private boolean warningsAreFatal = false;
|
|
|
| @Option(name = "--platform", //
|
| - usage = "Platform libraries to analyze (e.g. dartium, vm, dart2js, frog, any)")
|
| + usage = "Platform libraries to analyze (e.g. dartium, vm, dart2js, any)")
|
| private String platformName = "Not Implemented";
|
|
|
| @Option(name = "--dart_sdk", aliases = {"--dart-sdk"}, //
|
|
|