| Ravi Pendurty | 80ebbf5 | 2021-02-03 13:56:31 +0100 | [diff] [blame] | 1 | #!/bin/bash |
| 2 | # Java startup helper | ||||
| 3 | # if JAVA_HOME is specified, use related version | ||||
| 4 | |||||
| 5 | echo "Java run helper" | ||||
| 6 | |||||
| 7 | if [ ! -z "$JAVA_HOME" ] ; then | ||||
| 8 | echo "JAVA_HOME=$JAVA_HOME" | ||||
| 9 | $JAVA_HOME/bin/java "$@" | ||||
| 10 | else | ||||
| 11 | echo "Java on path" | ||||
| 12 | java "$@" | ||||
| 13 | fi | ||||
| 14 | |||||