diff options
| -rw-r--r-- | org.aspectj.ajdt.core/src/org/aspectj/tools/ajc/Main.java | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/org.aspectj.ajdt.core/src/org/aspectj/tools/ajc/Main.java b/org.aspectj.ajdt.core/src/org/aspectj/tools/ajc/Main.java index 3861d18e9..6be876c81 100644 --- a/org.aspectj.ajdt.core/src/org/aspectj/tools/ajc/Main.java +++ b/org.aspectj.ajdt.core/src/org/aspectj/tools/ajc/Main.java @@ -214,12 +214,12 @@ public class Main { IMessageHolder holder = clientHolder; if (null == holder) { holder = ourHandler; -// if (verbose) { + if (verbose) { ourHandler.setInterceptor(MessagePrinter.VERBOSE); -// } else { -// ourHandler.ignore(IMessage.INFO); -// ourHandler.setInterceptor(MessagePrinter.TERSE); -// } + } else { + ourHandler.ignore(IMessage.INFO); + ourHandler.setInterceptor(MessagePrinter.TERSE); + } } // make sure we handle out of memory gracefully... |