diff options
author | wisberg <wisberg> | 2003-05-07 03:53:49 +0000 |
---|---|---|
committer | wisberg <wisberg> | 2003-05-07 03:53:49 +0000 |
commit | 8b0dbb37d3ccb9833f1cc8bbd1cb473f47a8964d (patch) | |
tree | 857b746b2a0f800214217eb3791a63da8319409d /ajde/src | |
parent | acb1ee07cbfa338f10051351f539534ca67fa6d2 (diff) | |
download | aspectj-8b0dbb37d3ccb9833f1cc8bbd1cb473f47a8964d.tar.gz aspectj-8b0dbb37d3ccb9833f1cc8bbd1cb473f47a8964d.zip |
comment, organizes imports (using 2, right?)
Diffstat (limited to 'ajde/src')
-rw-r--r-- | ajde/src/org/aspectj/ajde/internal/AspectJBuildManager.java | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/ajde/src/org/aspectj/ajde/internal/AspectJBuildManager.java b/ajde/src/org/aspectj/ajde/internal/AspectJBuildManager.java index d4702fc9a..9e4513819 100644 --- a/ajde/src/org/aspectj/ajde/internal/AspectJBuildManager.java +++ b/ajde/src/org/aspectj/ajde/internal/AspectJBuildManager.java @@ -14,9 +14,7 @@ package org.aspectj.ajde.internal; -import java.util.ArrayList; -import java.util.Iterator; -import java.util.Set; +import java.util.*; import org.aspectj.ajde.*; import org.aspectj.util.ConfigParser; @@ -78,7 +76,9 @@ public class AspectJBuildManager implements BuildManager { if (configFile == null) { Ajde.getDefault().getErrorHandler().handleWarning("Please select a build configuration file."); } else { - this.lastConfigFile = this.configFile; + // enforce batch builds after switching configurations + // even in incremental mode + lastConfigFile = this.configFile; this.configFile = configFile; if (!fresh && !configFile.equals(lastConfigFile)) { fresh = true; |