From adb99acb5fb5ef89cfb4ec5da9083bb3dd519898 Mon Sep 17 00:00:00 2001 From: Paul Chote Date: Thu, 24 Aug 2017 21:27:35 +0100 Subject: [PATCH] Use curl instead of wget in fetch-thirdparty-deps. --- thirdparty/fetch-thirdparty-deps-windows.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/thirdparty/fetch-thirdparty-deps-windows.sh b/thirdparty/fetch-thirdparty-deps-windows.sh index 8e665933080f..b50bcbd92239 100755 --- a/thirdparty/fetch-thirdparty-deps-windows.sh +++ b/thirdparty/fetch-thirdparty-deps-windows.sh @@ -19,7 +19,7 @@ function get() if [ ! -f SDL2.dll ]; then echo "Fetching SDL2 from libsdl.org" - wget https://www.libsdl.org/release/SDL2-2.0.5-win32-x86.zip + curl -LOs https://www.libsdl.org/release/SDL2-2.0.5-win32-x86.zip unzip SDL2-2.0.5-win32-x86.zip SDL2.dll rm SDL2-2.0.5-win32-x86.zip fi