ci: be more rigourous in build

armedbear · Mar 11, 2024 · 7697ba1 · 7697ba1
1 parent 67d29e9
commit 7697ba1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/ci/install-openjdk.bash b/ci/install-openjdk.bash
@@ -2,6 +2,8 @@
 DIR="$(cd -P "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
 
 . ${DIR}/install-jenv.bash
+# try this...
+. ${DIR}/ensure-jenv-is-present.bash
 
 jdk=$1
 if [[ -z $jdk ]]; then