From 98351adb8476f4e30b0eccdae5153aa127befd2d Mon Sep 17 00:00:00 2001
From: Darcy Wong <darcy_wong@sil.org>
Date: Thu, 30 Mar 2023 07:11:57 +0700
Subject: [PATCH] fix(android): Update build-publish to override JAVA_HOME

---
 android/build-publish.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/android/build-publish.sh b/android/build-publish.sh
index 5aea4a867d..5ea6dd9cc4 100755
--- a/android/build-publish.sh
+++ b/android/build-publish.sh
@@ -57,6 +57,12 @@ while [[ $# -gt 0 ]] ; do
   shift # past argument
 done
 
+# Override JAVA_HOME to OpenJDK 11
+if [ -f .build-builder ]; then
+  builder_heading "Setting JAVA_HOME to OpenJDK 11"
+  export JAVA_HOME=${JAVA_HOME_11}
+fi
+
 echo
 echo "NO_DAEMON: $NO_DAEMON"
 echo "DO_KMAPRO: $DO_KMAPRO"
@@ -86,3 +92,9 @@ if [ "$DO_FV" = true ]; then
   cd "$KEYMAN_ROOT/oem/firstvoices/android/"
   ./gradlew $DAEMON_FLAG $BUILD_FLAGS
 fi
+
+# Revert to use default OpenJDK 8
+if [ -f .build-builder ]; then
+  builder_heading "Returning JAVA_HOME to OpenJDK 8"
+  export JAVA_HOME=${JAVA_HOME_8}
+fi