bc8072b6e456eddfad932a24de62036a8eaadba6
[jalview.git] / j11jre / bin / java
1 #!/usr/bin/env bash
2
3 OS=$(uname)
4
5 [ -z $JRE_HOME ] && JRE_HOME=$JAVA_HOME
6 BASE_DIR=$(dirname ${0})
7 BASE_DIR=${BASE_DIR%/bin}
8 BASE_CMD=$(basename ${0})
9
10
11 if [ -z $JRE_HOME ]; then
12   case $OS in
13   Darwin) JRE_HOME=$BASE_DIR/openjdk11_macos ;;
14   Linux) JRE_HOME=$BASE_DIR/openjdk11_linux ;;
15   esac
16 fi
17
18 echo $JRE_HOME/bin/$BASE_CMD ${@}
19 $JRE_HOME/bin/java ${@}