diff --git a/Makefile b/Makefile index 7558699cd44329c7fed160ee84f27ce4282fd40a..d2ee53c1128f8414f3062926a5ac90f1ac265b6c 100644 --- a/Makefile +++ b/Makefile @@ -6,7 +6,7 @@ doc: cd Doc;$(MAKE) -j8 all all:doc - mvn install + mvn --fail-at-end install mvn -T 8 --fail-at-end javadoc:javadoc mkdir -p Doc/target/navi/de.hdm_stuttgart.mi.lectures/P cd P;$(MAKE) -j 8 install