diff options
| -rw-r--r-- | ajde/src/org/aspectj/ajde/BuildManager.java | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/ajde/src/org/aspectj/ajde/BuildManager.java b/ajde/src/org/aspectj/ajde/BuildManager.java index 8bb823f0e..b92e65886 100644 --- a/ajde/src/org/aspectj/ajde/BuildManager.java +++ b/ajde/src/org/aspectj/ajde/BuildManager.java @@ -33,12 +33,24 @@ public interface BuildManager { * Build the default build configuration. */ public void build(); + + /** + * Batch-build the default build configuration + * when in incremental mode. + */ + public void buildFresh(); /** * Build the specified build configuration. */ public void build(String configFile); + /** + * Batch-build the specified build configuration + * when in incremental mode. + */ + public void buildFresh(String configFile); + /** * Exit the build immediately, before completion. */ |