From f30113e8b3fa07d564cc2f564726f69227b3a9bd Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Mon, 10 Jun 2013 10:51:45 -0700
Subject: Give the build system the option of failing on warnings

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index e4ebf38..a612965 100644
--- a/Makefile
+++ b/Makefile
@@ -84,7 +84,9 @@ $(eval $(call subdir,doc))
 
 # Don't try to run any of this if maven isn't installed
 MVN_EXE := $(shell which mvn 2>/dev/null)
-ifneq "$(MVN_EXE)" ""
+ifeq "$(MVN_EXE)" ""
+$(call strict-error,"No maven found unable to run java tests")
+else
 
 # package/install various maven sub-projects
 MVN_TEST_CMD := xvfb-run -a $(MVN_EXE) test
-- 
cgit v1.2.3