Don't use -XDrawDiagnostics in testing framework (#6647)

typetools · Jun 3, 2024 · 463c4eb · 463c4eb
1 parent b188046
commit 463c4eb
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/...work-test/src/main/java/org/checkerframework/framework/test/TestConfigurationBuilder.java b/...work-test/src/main/java/org/checkerframework/framework/test/TestConfigurationBuilder.java
@@ -61,7 +61,6 @@ public static TestConfigurationBuilder getDefaultConfigurationBuilder(
             .addOption("-Xmaxerrs", "9999")
             .addOption("-g")
             .addOption("-Xlint:unchecked")
-            .addOption("-XDrawDiagnostics") // use short javac diagnostics
             .addSourceFiles(testSourceFiles);
 
     if (outputClassDirectory != null) {