diff options
| author | Leigh McCulloch <leigh@mcchouse.com> | 2019-02-18 01:47:57 +0000 |
|---|---|---|
| committer | George Fraser <george@fivetran.com> | 2019-02-18 15:15:11 -0800 |
| commit | e567bb0507f48f0558a056f4244b28b26731f0d2 (patch) | |
| tree | 857df530701b36f98737fb925335cf7160c00d8e /scripts/link_windows.sh | |
| parent | 2e2f574f4f4bbdaaec0debcdbc1a4552add36f15 (diff) | |
| download | java-language-server-e567bb0507f48f0558a056f4244b28b26731f0d2.zip | |
Change to just check java version
Diffstat (limited to 'scripts/link_windows.sh')
| -rwxr-xr-x | scripts/link_windows.sh | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/scripts/link_windows.sh b/scripts/link_windows.sh index 0d16acb..3f9ff08 100755 --- a/scripts/link_windows.sh +++ b/scripts/link_windows.sh @@ -3,15 +3,8 @@ set -e -# Needed if you have a java version other than 11 as default -echo "JAVA_HOME is set to: $JAVA_HOME" -if [[ "$OSTYPE" == "linux-gnu" ]]; then - JAVA_HOME='/usr/lib/jvm/java-11-openjdk-amd64' - echo "JAVA_HOME overrided to be: $JAVA_HOME" -elif [[ "$OSTYPE" == "darwin"* ]]; then - JAVA_HOME=$(/usr/libexec/java_home -v 11) - echo "JAVA_HOME overrided to be: $JAVA_HOME" -fi +# Check JAVA_HOME points to correct java version +./scripts/check_java_home.sh # Compile sources mvn compile |