diff options
| author | Szymon Ptaszkiewicz | 2014-11-28 13:13:52 +0000 |
|---|---|---|
| committer | Jayaprakash Arthanareeswaran | 2014-12-01 06:50:48 +0000 |
| commit | a64919c0c4ec66879cf77662550d459f0b5a8477 (patch) | |
| tree | 49f6c9cf2c01acbec0d7ef434304b112576e4758 | |
| parent | 2ce0d6de6bed41247718345892752d1c05e3cb7e (diff) | |
| download | eclipse.jdt.core-a64919c0c4ec66879cf77662550d459f0b5a8477.tar.gz eclipse.jdt.core-a64919c0c4ec66879cf77662550d459f0b5a8477.tar.xz eclipse.jdt.core-a64919c0c4ec66879cf77662550d459f0b5a8477.zip | |
Bug 453527 - Consider disabling all org.eclipse.jdt.apt.core debug options if general debug option is disabled
Change-Id: I274bcf62e9bf36b5c56c449749cd9e51ee2c6c0d
Signed-off-by: Szymon Ptaszkiewicz <szymon.ptaszkiewicz@pl.ibm.com>
| -rw-r--r-- | org.eclipse.jdt.apt.core/src/org/eclipse/jdt/apt/core/internal/AptPlugin.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/org.eclipse.jdt.apt.core/src/org/eclipse/jdt/apt/core/internal/AptPlugin.java b/org.eclipse.jdt.apt.core/src/org/eclipse/jdt/apt/core/internal/AptPlugin.java index 1aec2908c9..e6c908ef6e 100644 --- a/org.eclipse.jdt.apt.core/src/org/eclipse/jdt/apt/core/internal/AptPlugin.java +++ b/org.eclipse.jdt.apt.core/src/org/eclipse/jdt/apt/core/internal/AptPlugin.java @@ -183,9 +183,9 @@ public class AptPlugin extends Plugin implements DebugOptionsListener { public void optionsChanged(DebugOptions options) { DEBUG = options.getBooleanOption(APT_DEBUG_OPTION, false); - DEBUG_GFM = options.getBooleanOption(APT_DEBUG_GFM_OPTION, false); - DEBUG_GFM_MAPS = options.getBooleanOption(APT_DEBUG_GFM_MAPS_OPTION, false); - DEBUG_COMPILATION_ENV = options.getBooleanOption(APT_COMPILATION_ENV_OPTION, false); + DEBUG_GFM = DEBUG && options.getBooleanOption(APT_DEBUG_GFM_OPTION, false); + DEBUG_GFM_MAPS = DEBUG && options.getBooleanOption(APT_DEBUG_GFM_MAPS_OPTION, false); + DEBUG_COMPILATION_ENV = DEBUG && options.getBooleanOption(APT_COMPILATION_ENV_OPTION, false); } public static void trace(final String msg){ |