src/share/classes/com/sun/tools/javac/main/JavaCompiler.java

changeset 1759
05ec778794d0
parent 1755
ddb4a2bfcd82
child 1825
e701af23a095
     1.1 --- a/src/share/classes/com/sun/tools/javac/main/JavaCompiler.java	Wed May 15 00:00:39 2013 -0700
     1.2 +++ b/src/share/classes/com/sun/tools/javac/main/JavaCompiler.java	Wed May 15 14:00:31 2013 +0100
     1.3 @@ -1614,6 +1614,9 @@
     1.4                  log.warning("proc.use.proc.or.implicit");
     1.5          }
     1.6          chk.reportDeferredDiagnostics();
     1.7 +        if (log.compressedOutput) {
     1.8 +            log.mandatoryNote(null, "compressed.diags");
     1.9 +        }
    1.10      }
    1.11  
    1.12      /** Close the compiler, flushing the logs

mercurial