diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-10 10:59:29 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-10 10:59:29 -0700 |
| commit | d53a4d57c05104e764aff459d58713ddf2f4486e (patch) | |
| tree | f944d635057e489b62924571c56b8a05e16c6f33 /Makefile | |
| parent | f30113e8b3fa07d564cc2f564726f69227b3a9bd (diff) | |
Add targets for the extensions in the top dir
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -101,7 +101,12 @@ $(eval $(call pkg,batchtools)) BATCHTOOLS_DIR := src/batchtools -test: fiveui.crx fiveui.xpi $(topdir)/profiles/chrome $(topdir)/profiles/firefox +test: test-batchtools + +test-batchtools: $(topdir)/fiveui.crx \ + $(topdir)/fiveui.xpi \ + $(topdir)/profiles/chrome \ + $(topdir)/profiles/firefox cd $(BATCHTOOLS_DIR) && $(MVN_TEST_CMD) clean:: |