ci: try to get a jdk from one in PATH

armedbear · Mar 11, 2024 · f104662 · f104662
1 parent b4a6a40
commit f104662
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/ci/install-jenv.bash b/ci/install-jenv.bash
@@ -15,4 +15,9 @@ jenv enable-plugin export
 
 jenv doctor
 
+jenv versions
+jenv version add $(realpath $(which java)/..)
+jenv versions
+
+