Hi ,
I found a bad regression. Please see
https://bugs.eclipse.org/bugs/show_bug.cgi?id=549457#c25
For M2, this should be fixed or reverted.
Regards,
Vikas
------------------------------------------------------------------------
Eclipse PDE lead,
IBM Rational
EGL D Block - Bangalore, India
Office Phone No : +91 - 80 - 41776506
------------------------------------------------------------------------
From: Simeon Andreev <simeon.danailov.andr...@gmail.com>
To: platform-dev@eclipse.org, cross-project-issues-...@eclipse.org
Date: 07/30/2019 01:32 PM
Subject: [EXTERNAL] [platform-dev] Auto-build will now build
if .settings/org.eclipse.jdt.core.prefs changes
Sent by: platform-dev-boun...@eclipse.org
Hi all,
for bug 549457 (https://bugs.eclipse.org/bugs/show_bug.cgi?id=549457) we
adjusted the JDT auto-build to do a full workspace build if the JDT core
settings of a project changed (.settings/org.eclipse.jdt.core.prefs
changes). Mostly, this ensures that retrieving new settings from a
versioning system (one integrated in the IDE) will result in a build.
If your plug-ins generate this settings file, be aware that this generation
will trigger a full workspace build. I.e. if you are changing the settings
file and then building the workspace in your code, you can remove the
building part (in case auto-build is on). We also advise you to avoid
re-generating the settings file with the same contents, since that will now
trigger an unnecessary full build.
For now, if the new behavior is incompatible with your plug-ins, it can be
switched off with the following VM property:
-Dorg.eclipse.jdt.core.disableAutoBuildOnSettingsChange=true
We plan to remove this option in a future release ( > 4.13).
Best regards,
Simeon Andreev_______________________________________________
platform-dev mailing list
platform-dev@eclipse.org
To change your delivery options, retrieve your password, or unsubscribe
from this list, visit
https://www.eclipse.org/mailman/listinfo/platform-dev
_______________________________________________
platform-dev mailing list
platform-dev@eclipse.org
To change your delivery options, retrieve your password, or unsubscribe from
this list, visit
https://www.eclipse.org/mailman/listinfo/platform-dev
