diff options
| author | Vikas Chandra | 2019-08-12 10:08:53 +0000 |
|---|---|---|
| committer | Vikas Chandra | 2019-08-12 10:08:53 +0000 |
| commit | 6a821a3322279e7ffe8b12591f782eb774215153 (patch) | |
| tree | 0aa91d8b8c880c74db870bf6bee89880a5f78ecb | |
| parent | 0da21f8ea91a757805c7fad5645bcf49a36c1bb9 (diff) | |
| download | eclipse.jdt.core-6a821a3322279e7ffe8b12591f782eb774215153.tar.gz eclipse.jdt.core-6a821a3322279e7ffe8b12591f782eb774215153.tar.xz eclipse.jdt.core-6a821a3322279e7ffe8b12591f782eb774215153.zip | |
Bug 549457 - Use a more generic named VM property so that other buildersI20190812-1800
can use the same for equivalent stuff
Change-Id: I70aaf88d8bd7637ed2656522659c7712c378bbbd
Signed-off-by: Vikas Chandra <Vikas.Chandra@in.ibm.com>
| -rw-r--r-- | org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/builder/JavaBuilder.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/builder/JavaBuilder.java b/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/builder/JavaBuilder.java index df5369f1bb..8ff8ad0464 100644 --- a/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/builder/JavaBuilder.java +++ b/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/builder/JavaBuilder.java @@ -48,9 +48,9 @@ public static boolean SHOW_STATS = false; /** * Bug 549457: In case auto-building on a JDT core settings change (e.g. compiler compliance) is not desired, - * specify VM property: {@code -Dorg.eclipse.jdt.core.disableAutoBuildOnSettingsChange=true} + * specify VM property: {@code -Dorg.eclipse.disableAutoBuildOnSettingsChange=true} */ -private static final boolean DISABLE_AUTO_BUILDING_ON_SETTINGS_CHANGE = Boolean.getBoolean("org.eclipse.jdt.core.disableAutoBuildOnSettingsChange"); //$NON-NLS-1$ +private static final boolean DISABLE_AUTO_BUILDING_ON_SETTINGS_CHANGE = Boolean.getBoolean("org.eclipse.disableAutoBuildOnSettingsChange"); //$NON-NLS-1$ private static final IPath JDT_CORE_SETTINGS_PATH = Path.fromPortableString(JavaProject.DEFAULT_PREFERENCES_DIRNAME + IPath.SEPARATOR + JavaProject.JAVA_CORE_PREFS_FILE); /** |