From 03a0b7dafffdeccee4a0f2ad55969a887f2284d8 Mon Sep 17 00:00:00 2001 From: Dimitris Apostolou Date: Wed, 16 Oct 2019 21:55:20 +0300 Subject: [PATCH] curl instead of wget (#192) --- res/libsodium/buildlibsodium.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/res/libsodium/buildlibsodium.sh b/res/libsodium/buildlibsodium.sh index 6c59382..0eddd9d 100755 --- a/res/libsodium/buildlibsodium.sh +++ b/res/libsodium/buildlibsodium.sh @@ -10,7 +10,7 @@ echo "Building libsodium" # Go into the lib sodium directory cd res/libsodium if [ ! -f libsodium-1.0.16.tar.gz ]; then - wget https://download.libsodium.org/libsodium/releases/libsodium-1.0.16.tar.gz + curl -LO https://download.libsodium.org/libsodium/releases/libsodium-1.0.16.tar.gz fi if [ ! -d libsodium-1.0.16 ]; then