From d53a4d57c05104e764aff459d58713ddf2f4486e Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Mon, 10 Jun 2013 10:59:29 -0700
Subject: Add targets for the extensions in the top dir

---
 Makefile | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index a612965..934222e 100644
--- a/Makefile
+++ b/Makefile
@@ -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::
-- 
cgit v1.2.3