build: make build fail if maven fails to generate the java indexer jar (#842)

This commit is contained in:
Malte Langkabel
2019-12-16 15:53:59 +01:00
committed by Eberhard Graether
parent cc3703d1e8
commit d66d86dd89
+3
View File
@@ -29,6 +29,9 @@ cd $ROOT_DIR/
cd java_indexer
# exit when any command fails
set -e
echo -e $INFO "cleaning and building java_indexer.jar"
mvn clean package