diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2018-06-08 08:17:14 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2018-06-09 19:47:34 +0200 |
| commit | 085774d10cf49f2416d5dc20296c332f6a8aa466 (patch) | |
| tree | 27f0d2276cbb41d16e25912c5f00a902d1abaa3b /scripts/get-dep-lib.sh | |
| parent | ec0511e824ca596ff16022f45b2c89763b71c250 (diff) | |
| download | subsurface-085774d10cf49f2416d5dc20296c332f6a8aa466.tar.gz | |
build-system: download libzip from our own server
The libzip.org server often times out and causes build failures.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'scripts/get-dep-lib.sh')
| -rwxr-xr-x | scripts/get-dep-lib.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/get-dep-lib.sh b/scripts/get-dep-lib.sh index 82f0faaca..96af5c151 100755 --- a/scripts/get-dep-lib.sh +++ b/scripts/get-dep-lib.sh @@ -151,8 +151,8 @@ if [[ "$BUILD" = *"libxslt"* && ! -d libxslt ]]; then fi if [[ "$BUILD" = *"libzip"* && ! -d libzip ]]; then - ${CURL} https://libzip.org/download/libzip-${CURRENT_LIBZIP}.tar.gz - tar xzf libzip-${CURRENT_LIBZIP}.tar.gz + ${CURL} https://subsurface-divelog.org/downloads/libzip-${CURRENT_LIBZIP}.tar.xz + tar xJf libzip-${CURRENT_LIBZIP}.tar.xz mv libzip-${CURRENT_LIBZIP} libzip fi |