From 54de035b3a16144a888d807c636d05b15c806572 Mon Sep 17 00:00:00 2001 From: Alexander Scheel Date: Tue, 15 Sep 2020 10:49:48 -0400 Subject: [PATCH 2/3] Make PKI_JAVA_PATH respect PKI_JAVA_PATH Signed-off-by: Alexander Scheel --- base/common/share/etc/pki.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/base/common/share/etc/pki.conf b/base/common/share/etc/pki.conf index 0671f7ab7..5bbde3830 100644 --- a/base/common/share/etc/pki.conf +++ b/base/common/share/etc/pki.conf @@ -11,7 +11,7 @@ JAVA_HOME=${JAVA_HOME} export JAVA_HOME # Java interpreter -PKI_JAVA_PATH=${Java_JAVA_EXECUTABLE} +PKI_JAVA_PATH=${PKI_JAVA_PATH} export PKI_JAVA_PATH # JNI jar file location -- 2.26.2