diff options
author | Chris Recoskie | 2011-05-10 18:55:15 +0000 |
---|---|---|
committer | Chris Recoskie | 2011-05-10 18:55:15 +0000 |
commit | af28c6569cf267ca1d78836bb6dfe1d96f4e24bb (patch) | |
tree | 40ac658f68bacf848fe469f985198cad6975492b /build/org.eclipse.cdt.make.core | |
parent | 04e7974825d1226309e0732a5084e36a72accaf5 (diff) | |
download | org.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.java | 5 |
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 1ab1236b374..67dd1564293 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); } |