diff options
author | Leigh McCulloch <leigh@mcchouse.com> | 2019-02-17 21:15:59 +0000 |
---|---|---|
committer | George Fraser <george@fivetran.com> | 2019-02-18 15:15:11 -0800 |
commit | 9a38c0a39cea36950c0d95553a390575a4e6f543 (patch) | |
tree | dea31484bd41289aae70baa2ca025f99215bf8a6 /scripts/link_windows.sh | |
parent | 6d65d0e987fb8be8f22feb2ad9f2be7e48fc9b2b (diff) | |
download | java-language-server-9a38c0a39cea36950c0d95553a390575a4e6f543.zip |
Make existing scripts work with linux
Diffstat (limited to 'scripts/link_windows.sh')
-rwxr-xr-x | scripts/link_windows.sh | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/scripts/link_windows.sh b/scripts/link_windows.sh index be9f7dc..0a5ad6d 100755 --- a/scripts/link_windows.sh +++ b/scripts/link_windows.sh @@ -4,7 +4,14 @@ set -e # Needed if you have a java version other than 11 as default -JAVA_HOME=$(/usr/libexec/java_home -v 11) +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 # Compile sources mvn compile @@ -35,4 +42,4 @@ $REAL_JAVA_HOME/bin/jlink \ --add-modules gson,javacs \ --launcher launcher=javacs/org.javacs.Main \ --output dist/windows \ - --compress 2
\ No newline at end of file + --compress 2 |