| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCoreDebug.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCoreDebug.java (revision 1856)
|
| +++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCoreDebug.java (working copy)
|
| @@ -23,6 +23,7 @@
|
| // Debugging / Tracing options
|
|
|
| public static final boolean BUILD = isOptionTrue("debug/build");
|
| + public static final boolean DARTLIB = isOptionTrue("debug/dartlib");
|
| public static final boolean WARMUP = isOptionTrue("debug/warmup");
|
|
|
| public static final boolean BLEEDING_EDGE = isOptionTrue("bleedingEdge");
|
|
|