Releng: make JAVA_HOME configurable from the toplevel jenkins script
diff --git a/releng/build-scripts/build/otdt_prerequisites-hipp.sh b/releng/build-scripts/build/otdt_prerequisites-hipp.sh
index f531553..ba9795c 100644
--- a/releng/build-scripts/build/otdt_prerequisites-hipp.sh
+++ b/releng/build-scripts/build/otdt_prerequisites-hipp.sh
@@ -41,7 +41,7 @@
PATH=${ANT_HOME}/bin:${PATH}
# Configure Java:
-JAVA_HOME=/shared/common/jdk-9_x64-latest
+JAVA_HOME=${JAVA_HOME:="/shared/common/jdk-9_x64-latest"}
PATH=${JAVA_HOME}/bin:${PATH}
# EXPORT: additional arguments to pass to Ant:
