aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile3
-rw-r--r--src/batchtools/.gitignore1
2 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 67ff74c..e5a71f7 100644
--- a/Makefile
+++ b/Makefile
@@ -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/