Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [cross-project-issues-dev] [platform-dev] Auto-build will now build if.settings/org.eclipse.jdt.core.prefs changes

Hi ,

I found a bad regression. Please see

For M2, this should be fixed or reverted.

Eclipse PDE lead,
IBM Rational
EGL D Block - Bangalore, India
Office Phone No : +91 - 80 - 41776506

Inactive hide details for Simeon Andreev ---07/30/2019 01:32:02 PM---Hi all, for bug 549457 ( Andreev ---07/30/2019 01:32:02 PM---Hi all, for bug 549457 ( we

From: Simeon Andreev <simeon.danailov.andreev@xxxxxxxxx>
To: platform-dev@xxxxxxxxxxx, cross-project-issues-dev@xxxxxxxxxxx
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-bounces@xxxxxxxxxxx

Hi all,

for bug 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:


We plan to remove this option in a future release ( > 4.13).

Best regards,
Simeon Andreev_______________________________________________
platform-dev mailing list
To change your delivery options, retrieve your password, or unsubscribe from this list, visit

Back to the top