Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorChris Recoskie2011-04-29 14:02:57 -0400
committerChris Recoskie2011-04-29 14:02:57 -0400
commit1ab1affd174bc80c05736ab24c749cd533f0b64b (patch)
tree917d3f7a92c6fd973cc3e20ce8c2f7fc95461cfc /build/org.eclipse.cdt.make.core
parentfe52e11b255ef0e09fc928b69adba8104492375e (diff)
downloadorg.eclipse.cdt-1ab1affd174bc80c05736ab24c749cd533f0b64b.tar.gz
org.eclipse.cdt-1ab1affd174bc80c05736ab24c749cd533f0b64b.tar.xz
org.eclipse.cdt-1ab1affd174bc80c05736ab24c749cd533f0b64b.zip
Bug 133881 - Make refreshing after building optional
Work in progress.
Diffstat (limited to 'build/org.eclipse.cdt.make.core')
-rw-r--r--build/org.eclipse.cdt.make.core/src/org/eclipse/cdt/make/core/MakeBuilder.java7
1 files changed, 6 insertions, 1 deletions
diff --git a/build/org.eclipse.cdt.make.core/src/org/eclipse/cdt/make/core/MakeBuilder.java b/build/org.eclipse.cdt.make.core/src/org/eclipse/cdt/make/core/MakeBuilder.java
index 70b144c51a..1ab1236b37 100644
--- a/build/org.eclipse.cdt.make.core/src/org/eclipse/cdt/make/core/MakeBuilder.java
+++ b/build/org.eclipse.cdt.make.core/src/org/eclipse/cdt/make/core/MakeBuilder.java
@@ -31,6 +31,7 @@ import org.eclipse.cdt.core.ICommandLauncher;
import org.eclipse.cdt.core.model.ICModelMarker;
import org.eclipse.cdt.core.resources.ACBuilder;
import org.eclipse.cdt.core.resources.IConsole;
+import org.eclipse.cdt.core.resources.RefreshScopeManager;
import org.eclipse.cdt.internal.core.ConsoleOutputSniffer;
import org.eclipse.cdt.make.internal.core.MakeMessages;
import org.eclipse.cdt.make.internal.core.StreamMonitor;
@@ -295,7 +296,11 @@ public class MakeBuilder extends ACBuilder {
// Do not allow the cancel of the refresh, since the builder is external
// to Eclipse, files may have been created/modified and we will be out-of-sync.
// The caveat is for huge projects, it may take sometimes at every build.
- project.refreshLocal(IResource.DEPTH_INFINITE, null);
+ // project.refreshLocal(IResource.DEPTH_INFINITE, null);
+
+ // use the refresh scope manager to refresh
+ IWorkspaceRunnable runnable = RefreshScopeManager.getInstance().getRefreshRunnable(project);
+ ResourcesPlugin.getWorkspace().run(runnable, null);
} catch (CoreException e) {
MakeCorePlugin.log(e);
}

Back to the top