ci: jenv doctor exits with non-zero status?

armedbear · Mar 13, 2024 · cf35dfc · cf35dfc
1 parent df814c7
commit cf35dfc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ci/install-openjdk.bash b/ci/install-openjdk.bash
@@ -183,3 +183,4 @@ add_jdk_to_jenv
 . ${DIR}/set-jdk.bash ${jdk} ${ABCL_ROOT}
 
 jenv doctor
+exit 0