Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorChris Recoskie2011-05-16 14:18:34 -0400
committerChris Recoskie2011-05-16 14:18:34 -0400
commit6a8b930ea61d97715627ac49c2abbadab91a9b63 (patch)
tree04d3c9177398dcba876862e2b0c2b68b3a0ead15 /build/org.eclipse.cdt.make.core
parentf1d6b4970883957ad07bd361de824c2732425726 (diff)
downloadorg.eclipse.cdt-6a8b930ea61d97715627ac49c2abbadab91a9b63.tar.gz
org.eclipse.cdt-6a8b930ea61d97715627ac49c2abbadab91a9b63.tar.xz
org.eclipse.cdt-6a8b930ea61d97715627ac49c2abbadab91a9b63.zip
Bug 133881 - Make refreshing after building optional
- changed scheduling rule to be null so that the platform handles the locking on individual resources - fixed it so only the given project's settings are serialized in its project description - fixed it so projects/folders/files can be refreshed even if they were removed from the resource tree but not the filesystem - optimized resource delta processing
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.java2
1 files changed, 1 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 67dd156429..eafa18288f 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
@@ -301,7 +301,7 @@ public class MakeBuilder extends ACBuilder {
// use the refresh scope manager to refresh
RefreshScopeManager refreshManager = RefreshScopeManager.getInstance();
IWorkspaceRunnable runnable = refreshManager.getRefreshRunnable(project);
- ResourcesPlugin.getWorkspace().run(runnable, refreshManager.getRefreshSchedulingRule(project), IWorkspace.AVOID_UPDATE, null);
+ ResourcesPlugin.getWorkspace().run(runnable, null, IWorkspace.AVOID_UPDATE, null);
} catch (CoreException e) {
MakeCorePlugin.log(e);
}

Back to the top