From eef276878f2a47e8ae198969694935715a37e3ca Mon Sep 17 00:00:00 2001
From: Mark Evenson <evenson.not.org@gmail.com>
Date: Mon, 11 Mar 2024 17:03:06 +0100
Subject: [PATCH] ci: call the jenv doctor

---
 ci/ensure-jenv-is-present.bash | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/ci/ensure-jenv-is-present.bash b/ci/ensure-jenv-is-present.bash
index f188a16bb..2c6176462 100644
--- a/ci/ensure-jenv-is-present.bash
+++ b/ci/ensure-jenv-is-present.bash
@@ -5,6 +5,9 @@ fi
 
 eval "$(jenv init -)"
 
-hash -r 
-jenv enable-plugin export
+JENV=$JENV_ROOT/bin/jenv
+#${JENV} enable-plugin export
+
+${JENV} doctor
+