From 57332b1d1d2ded89c26e130b55f94769829ab837 Mon Sep 17 00:00:00 2001 From: John Dallaway Date: Thu, 16 Mar 2017 14:40:29 +0000 Subject: [PATCH] Bug 513763 - Save workspace following headless build Change-Id: I657f8bf8155dd669921caef951d16e23601f01ad Signed-off-by: John Dallaway --- .../cdt/managedbuilder/internal/core/HeadlessBuilder.java | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/build/org.eclipse.cdt.managedbuilder.core/src/org/eclipse/cdt/managedbuilder/internal/core/HeadlessBuilder.java b/build/org.eclipse.cdt.managedbuilder.core/src/org/eclipse/cdt/managedbuilder/internal/core/HeadlessBuilder.java index 85d164b5d72..991cdde5244 100644 --- a/build/org.eclipse.cdt.managedbuilder.core/src/org/eclipse/cdt/managedbuilder/internal/core/HeadlessBuilder.java +++ b/build/org.eclipse.cdt.managedbuilder.core/src/org/eclipse/cdt/managedbuilder/internal/core/HeadlessBuilder.java @@ -13,6 +13,7 @@ * - Bug 300554 Build status not propagated * to exit code * 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; @@ -550,6 +551,9 @@ public class HeadlessBuilder implements IApplication { IWorkspaceDescription desc = root.getWorkspace().getDescription(); desc.setAutoBuilding(isAutoBuilding); root.getWorkspace().setDescription(desc); + + // Save modified workspace (bug 513763) + root.getWorkspace().save(true, monitor); } return buildSuccessful ? OK : ERROR;