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

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 67dd1564293..eafa18288f9 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);
 		}