diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-10 10:51:45 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-10 10:51:45 -0700 |
| commit | f30113e8b3fa07d564cc2f564726f69227b3a9bd (patch) | |
| tree | 036b6f5c1c3a80d300b8ff33ac1184a55e31fd41 /Makefile | |
| parent | 9b908f7cbe4325847a149446a369fc76dfdcad53 (diff) | |
Give the build system the option of failing on warnings
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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 |