diff options
-rw-r--r-- | Makefile | 3 | ||||
-rw-r--r-- | src/batchtools/.gitignore | 1 |
2 files changed, 4 insertions, 0 deletions
@@ -90,4 +90,7 @@ BATCHTOOLS_DIR := src/batchtools test: fiveui.crx fiveui.xpi $(topdir)/profiles/chrome $(topdir)/profiles/firefox cd $(BATCHTOOLS_DIR) && $(MVN_TEST_CMD) +clean:: + cd $(BATCHTOOLS_DIR) && $(MVN_EXE) clean + endif diff --git a/src/batchtools/.gitignore b/src/batchtools/.gitignore new file mode 100644 index 0000000..24318ea --- /dev/null +++ b/src/batchtools/.gitignore @@ -0,0 +1 @@ +.settings/ |