From e8480d4a43b198b9c354d4d58ccb3d9815a900b4 Mon Sep 17 00:00:00 2001
From: Malte Langkabel <malte.langkabel@gmail.com>
Date: Tue, 10 Dec 2019 13:29:59 +0100
Subject: [PATCH] build: make build fail if maven fails to generate the java
 indexer jar (#842)

---
 script/update_java_indexer.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/script/update_java_indexer.sh b/script/update_java_indexer.sh
index a63c7d01..3b83e077 100755
--- a/script/update_java_indexer.sh
+++ b/script/update_java_indexer.sh
@@ -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