diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-10 11:08:01 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-10 11:08:01 -0700 |
| commit | 686d00c01dc3096953156fa43daa164f1d59b7dc (patch) | |
| tree | ffaa60c60a08017d71ab8657d8be1426b905ed53 /src/batchtools | |
| parent | d53a4d57c05104e764aff459d58713ddf2f4486e (diff) | |
Move the maven tests to the batchtools dir
Diffstat (limited to 'src/batchtools')
| -rw-r--r-- | src/batchtools/build.mk | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/batchtools/build.mk b/src/batchtools/build.mk new file mode 100644 index 0000000..8649476 --- /dev/null +++ b/src/batchtools/build.mk @@ -0,0 +1,19 @@ + +mvn-exe := $(shell which mvn 2>/dev/null) +batchtools-dir := $(path) + +ifeq "$(mvn-exe)" "" +$(call strict-error,"No maven found, unable to run batchtools tests") +else + +test: test-batchtools + +.PHONY: test-batchtools +test-batchtools: $(topdir)/profiles/chrome $(topdir)/profiles/firefox + $(call label,BATCHTEST)(cd $(batchtools-dir) \ + && xvfb-run -a $(mvn-cmd) test) + +clean:: + (cd $(batchtools-dir) && $(mvn-exe) clean) + +endif |