Index: compiler/java/com/google/dart/compiler/DefaultCompilerConfiguration.java |
diff --git a/compiler/java/com/google/dart/compiler/DefaultCompilerConfiguration.java b/compiler/java/com/google/dart/compiler/DefaultCompilerConfiguration.java |
index a767ecc1d526e669053175909989361e0ed318c3..ffba0dcc971560b500336cb50963df1463a5eef5 100644 |
--- a/compiler/java/com/google/dart/compiler/DefaultCompilerConfiguration.java |
+++ b/compiler/java/com/google/dart/compiler/DefaultCompilerConfiguration.java |
@@ -196,6 +196,11 @@ public class DefaultCompilerConfiguration implements CompilerConfiguration { |
} |
@Override |
+ public boolean printMachineProblems() { |
+ return compilerOptions.printMachineProblems(); |
+ } |
+ |
+ @Override |
public boolean collectComments() { |
return compilerOptions.generateDocumentation(); |
} |