diff options
author | Grim Kriegor | 2019-12-06 20:43:01 +0000 |
---|---|---|
committer | Grim Kriegor | 2019-12-06 20:43:01 +0000 |
commit | df3cd514f0db48f362766914634020ea4ea007d7 (patch) | |
tree | 98b196da2f44cecd970dd953ea8c5785ae22838b /launcher.sh | |
parent | 18895b434c8637ee5bb8ac50f23798e08c6e4c28 (diff) | |
download | aur-df3cd514f0db48f362766914634020ea4ea007d7.tar.gz |
Version bump to 0.2.30
Addition of `maven package` to the build step
as a workaround for the following issue:
https://github.com/georgewfraser/java-language-server/issues/122
Use the release tar package instead of pulling code from the git
repository.
Diffstat (limited to 'launcher.sh')
-rwxr-xr-x | launcher.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/launcher.sh b/launcher.sh index 8c58098437f1..bafd4114a410 100755 --- a/launcher.sh +++ b/launcher.sh @@ -1,4 +1,4 @@ #!/bin/bash - -cd /usr/share/java/java-language-server/bin -./launcher "$@" +set -e +cd /usr/share/java/java-language-server/ +./lang_server_linux.sh "$@" |