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

2019-12-10 13:29:59 +01:00
parent f93b063763
commit e8480d4a43
1 changed files with 3 additions and 0 deletions
@@ -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