From cbaf0a277c3c7acf8d1edcba33d7219a0af3dccf Mon Sep 17 00:00:00 2001
From: Martin Goik <goik@hdm-stuttgart.de>
Date: Mon, 25 Jul 2016 17:50:52 +0200
Subject: [PATCH] No exit at project install failure
---
Makefile | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
index 48176355c..bdb807c70 100644
--- a/Makefile
+++ b/Makefile
@@ -16,8 +16,8 @@ doc:
cd Doc;$(MAKE) -j ${numCores} all
all:doc
- mvn -T ${numCores} --fail-at-end install || exit 0
- mvn -T ${numCores} --fail-at-end install || exit 0
+ mvn -T ${numCores} --fail-at-end install || echo
+ mvn -T ${numCores} --fail-at-end install || echo
mvn -T ${numCores} --fail-at-end javadoc:javadoc || exit 0
mkdir -p Doc/target/webhelp/P
cd P; tar c- ${DOCMODULES} | tar -x -C ../Doc/target/webhelp/P
--
GitLab