From 923e215ff15d51b4e78cc24a4a12dab3d4ec8fc1 Mon Sep 17 00:00:00 2001
From: cos <cos>
Date: Wed, 3 Apr 2019 13:32:37 +0200
Subject: Avoid creating empty file on curl fail

Have curl download the jar to a file rather than relying on shell redirection.
---
 scripts/patch_gson.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
cgit v1.2.3