Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorChris Recoskie2011-05-10 14:55:15 -0400
committerChris Recoskie2011-05-10 14:55:15 -0400
commitaf28c6569cf267ca1d78836bb6dfe1d96f4e24bb (patch)
tree40ac658f68bacf848fe469f985198cad6975492b /build/org.eclipse.cdt.make.core
parent04e7974825d1226309e0732a5084e36a72accaf5 (diff)
downloadorg.eclipse.cdt-af28c6569cf267ca1d78836bb6dfe1d96f4e24bb.tar.gz
org.eclipse.cdt-af28c6569cf267ca1d78836bb6dfe1d96f4e24bb.tar.xz
org.eclipse.cdt-af28c6569cf267ca1d78836bb6dfe1d96f4e24bb.zip
Bug 133881 - Make refreshing after building optional
- changed scheduling rules for refreshes to be the set of resources to be refreshed for a given project
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.java5
1 files changed, 3 insertions, 2 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 1ab1236b37..67dd156429 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
@@ -299,8 +299,9 @@ public class MakeBuilder extends ACBuilder {
// project.refreshLocal(IResource.DEPTH_INFINITE, null);
// use the refresh scope manager to refresh
- IWorkspaceRunnable runnable = RefreshScopeManager.getInstance().getRefreshRunnable(project);
- ResourcesPlugin.getWorkspace().run(runnable, null);
+ RefreshScopeManager refreshManager = RefreshScopeManager.getInstance();
+ IWorkspaceRunnable runnable = refreshManager.getRefreshRunnable(project);
+ ResourcesPlugin.getWorkspace().run(runnable, refreshManager.getRefreshSchedulingRule(project), IWorkspace.AVOID_UPDATE, null);
} catch (CoreException e) {
MakeCorePlugin.log(e);
}

Back to the top