diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-10 11:41:04 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-10 11:41:04 -0700 |
| commit | f595a4885df795395d83ee68514eb1e1be8ebba4 (patch) | |
| tree | d8843b8b751e0385d80066a9cf1bf0343c3c7cbf /src/batchtools | |
| parent | b0b14ba3a02a754d4e960ee144a554b7e4a65c21 (diff) | |
Make the batchtools tests depend on the extensions being built
Diffstat (limited to 'src/batchtools')
| -rw-r--r-- | src/batchtools/build.mk | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/batchtools/build.mk b/src/batchtools/build.mk index 490728f..af0fc74 100644 --- a/src/batchtools/build.mk +++ b/src/batchtools/build.mk @@ -8,7 +8,11 @@ else test: test-batchtools .PHONY: test-batchtools -test-batchtools: $(topdir)/profiles/chrome $(topdir)/profiles/firefox +test-batchtools: \ + $(build-dir)/fiveui.crx \ + $(build-dir)/fiveui.xpi \ + $(topdir)/profiles/chrome \ + $(topdir)/profiles/firefox $(call label,BATCHTEST)(cd $(batchtools-dir) \ && xvfb-run -a $(maven-cmd) test) |