mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-23 17:05:26 +02:00
Code Issues Wiki Activity

Bug 513763 - Save workspace following headless build

Browse source 
Change-Id: I657f8bf8155dd669921caef951d16e23601f01ad
Signed-off-by: John Dallaway <john@dallaway.org.uk>
This commit is contained in:
John Dallaway 2017-03-16 14:40:29 +00:00 • committed by Gerrit Code Review @ Eclipse.org
parent a2160bd5f1
commit 57332b1d1d
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
build/org.eclipse.cdt.managedbuilder.core/src/org/eclipse/cdt/managedbuilder/internal/core/HeadlessBuilder.java
View file

@ -13,6 +13,7 @@
* - Bug 300554 Build status not propagated * - Bug 300554 Build status not propagated
* to exit code * to exit code
* R. Zulliger, C. Walther (Indel AG) - Bug 355609 Disable indexer * R. Zulliger, C. Walther (Indel AG) - Bug 355609 Disable indexer
* John Dallaway - Bug 513763 Save workspace on conclusion
*******************************************************************************/ *******************************************************************************/
package org.eclipse.cdt.managedbuilder.internal.core; package org.eclipse.cdt.managedbuilder.internal.core;
@ -550,6 +551,9 @@ public class HeadlessBuilder implements IApplication {
IWorkspaceDescription desc = root.getWorkspace().getDescription(); IWorkspaceDescription desc = root.getWorkspace().getDescription();
desc.setAutoBuilding(isAutoBuilding); desc.setAutoBuilding(isAutoBuilding);
root.getWorkspace().setDescription(desc); root.getWorkspace().setDescription(desc);
// Save modified workspace (bug 513763)
root.getWorkspace().save(true, monitor);
} }
return buildSuccessful ? OK : ERROR; return buildSuccessful ? OK : ERROR;