diff options
| author |  Benjamin Jones <bjones@galois.com> | 2013-06-11 14:14:30 -0700 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2013-06-11 14:14:30 -0700 |
| commit | 2f432d2b309b0896a309b727c6e95e5cf91b2ea4 (patch) | |
| tree | a54cebfe2a883d4000d4216d5e09f4caf17c7d46 /src/batchtools | |
| parent | 19824d277dcaa04c3583b7dac15c5a4e9abf5810 (diff) | |
changed test target to depend only on fiveui.xpi
fixed references to firefox.xpi
Diffstat (limited to 'src/batchtools')
| -rw-r--r-- | src/batchtools/build.mk | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/batchtools/build.mk b/src/batchtools/build.mk index 06239d6..d772607 100644 --- a/src/batchtools/build.mk +++ b/src/batchtools/build.mk @@ -9,9 +9,7 @@ test: test-batchtools .PHONY: test-batchtools 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) |