diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-04-06 13:34:25 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2022-04-06 13:34:25 +0200 |
| commit | a7b12c6bd90cd44432bdaf45cb32b0af916d499c (patch) | |
| tree | a32f6460f011380daa2abbb1bec82078cd7db1e0 /scripts/install.in | |
| parent | 36c1e3bc5f99fb3b942ae8ef45363dd6b6d6e7d2 (diff) | |
curl: Use --fail to catch errors
Diffstat (limited to 'scripts/install.in')
| -rwxr-xr-x | scripts/install.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/install.in b/scripts/install.in index 38d1fb36f..af5f71080 100755 --- a/scripts/install.in +++ b/scripts/install.in @@ -82,7 +82,7 @@ if [ "$(uname -s)" != "Darwin" ]; then fi if command -v curl > /dev/null 2>&1; then - fetch() { curl -L "$1" -o "$2"; } + fetch() { curl --fail -L "$1" -o "$2"; } elif command -v wget > /dev/null 2>&1; then fetch() { wget "$1" -O "$2"; } else |