From 461ac2262114b95eb0c34bc4ebdcf94058fcc624 Mon Sep 17 00:00:00 2001
From: Benjamin Jones <bjones@galois.com>
Date: Mon, 10 Jun 2013 12:04:28 -0700
Subject: maven-exe -> maven-cmd

---
 src/batchtools/build.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/batchtools')

diff --git a/src/batchtools/build.mk b/src/batchtools/build.mk
index af0fc74..06239d6 100644
--- a/src/batchtools/build.mk
+++ b/src/batchtools/build.mk
@@ -17,6 +17,6 @@ test-batchtools:            \
 	  && xvfb-run -a $(maven-cmd) test)
 
 clean::
-	(cd $(batchtools-dir) && $(maven-exe) clean)
+	(cd $(batchtools-dir) && $(maven-cmd) clean)
 
 endif
-- 
cgit v1.2.3