From f1046621f89662b52b02b14a974f5a62fd827146 Mon Sep 17 00:00:00 2001
From: Mark Evenson <evenson.not.org@gmail.com>
Date: Mon, 11 Mar 2024 17:16:47 +0100
Subject: [PATCH] ci: try to get a jdk from one in PATH

---
 ci/install-jenv.bash | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/ci/install-jenv.bash b/ci/install-jenv.bash
index 8ddf5c670..d5c91979d 100644
--- 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
+
+