diff options
| author | cos <cos> | 2019-04-03 13:32:37 +0200 |
|---|---|---|
| committer | cos <cos> | 2019-04-03 13:32:37 +0200 |
| commit | 923e215ff15d51b4e78cc24a4a12dab3d4ec8fc1 (patch) | |
| tree | 8419bb115da60cad83cb27fe8bfb9e38bcd0c8e7 | |
| parent | 90f212e59a2cbe8b49fcc8d50c4f3bc2bba932ae (diff) | |
| download | java-language-server-923e215ff15d51b4e78cc24a4a12dab3d4ec8fc1.zip | |
Avoid creating empty file on curl failfix/handle_missing_curl
Have curl download the jar to a file rather than relying on shell redirection.
| -rwxr-xr-x | scripts/patch_gson.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/patch_gson.sh b/scripts/patch_gson.sh index 3825683..d3346ab 100755 --- a/scripts/patch_gson.sh +++ b/scripts/patch_gson.sh @@ -10,7 +10,8 @@ set -e # Download Gson jar cd modules -curl https://repo1.maven.org/maven2/com/google/code/gson/gson/2.8.5/gson-2.8.5.jar > gson.jar +curl --output gson.jar \ + https://repo1.maven.org/maven2/com/google/code/gson/gson/2.8.5/gson-2.8.5.jar # Unpack jar into modules/classes mkdir classes |