diff options
Diffstat (limited to 'tools/keytool.in')
-rw-r--r-- | tools/keytool.in | 18 |
1 files changed, 1 insertions, 17 deletions
diff --git a/tools/keytool.in b/tools/keytool.in index 6c11dc407..613baf7fd 100644 --- a/tools/keytool.in +++ b/tools/keytool.in @@ -44,20 +44,4 @@ prefix=@prefix@ tools_dir=@datadir@/@PACKAGE@ tools_cp=${tools_dir}/tools.zip -# find the java executable... -if [ -z "${JAVA}" ] ; then - if [ -n "${JAVA_HOME}" ] ; then - if [ -x "${JAVA_HOME}/jre/sh/java" ] ; then - JAVA="${JAVA_HOME}/jre/sh/java" - else - JAVA="${JAVA_HOME}/bin/java" - fi - else - JAVA=`which java 2> /dev/null ` - if [ -z "${JAVA}" ] ; then - JAVA=java - fi - fi -fi - -exec "${JAVA}" -Xbootclasspath/p:"${tools_cp}" gnu.classpath.tools.keytool.Main $@ +exec @VM_BINARY@ -Xbootclasspath/p:"${tools_cp}" gnu.classpath.tools.keytool.Main $@ |