Attachment 84692 Details for Bug 206540 – BuildManager patch

[patch] BuildManager patch

build-manager-patch (text/plain), 1.14 KB, created by Isaac Pacht

on 2007-12-06 19:56:55 EST

(hide)

Description:

Filename:

MIME Type:

Creator: Isaac Pacht

Created: 2007-12-06 19:56:55 EST

Size: 1.14 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.core.resources
>Index: src/org/eclipse/core/internal/events/BuildManager.java
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.core.resources/src/org/eclipse/core/internal/events/BuildManager.java,v
>retrieving revision 1.102
>diff -u -r1.102 BuildManager.java
>--- src/org/eclipse/core/internal/events/BuildManager.java	17 Apr 2007 22:26:42 -0000	1.102
>+++ src/org/eclipse/core/internal/events/BuildManager.java	5 Dec 2007 03:27:37 -0000
>@@ -139,8 +139,11 @@
> 			if (!clean && currentLastBuiltTree == null)
> 				trigger = IncrementalProjectBuilder.FULL_BUILD;
> 			//don't build if this builder doesn't respond to the given trigger
>-			if (!builder.getCommand().isBuilding(trigger))
>+			if (!builder.getCommand().isBuilding(trigger)) {
>+				if (clean)
>+					currentBuilder.setLastBuiltTree(null);
> 				return;
>+			}
> 			// For incremental builds, grab a pointer to the current state before computing the delta
> 			currentTree = ((trigger == IncrementalProjectBuilder.FULL_BUILD) || clean) ? null : workspace.getElementTree();
> 			int depth = -1;

Actions: View | Diff

Attachments on bug 206540: 84692 | 87153 | 87417 | 87424 | 87431