From fd0a78d5bf7b88ad3067ff3e5d9017b7d5508bd4 Mon Sep 17 00:00:00 2001 From: Thomas Bernard Date: Mon, 21 Jan 2019 14:04:44 +0100 Subject: [PATCH] Fix detection of wget/curl --- 3rdparty/Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/3rdparty/Makefile b/3rdparty/Makefile index 50fb80ce..1e67d66b 100644 --- a/3rdparty/Makefile +++ b/3rdparty/Makefile @@ -50,7 +50,9 @@ PREFIX = $(PWD)/usr MKDIR = mkdir -p CP = cp -v TAR = $(shell which tar) -GETURL = $(shell WGET=`which wget` ; if [ "$?" = "0" ] && [ -x "$WGET" ] ; then echo "$WGET" ; else echo "curl -O -L --max-time 120" ; fi ) +GETURL = $(shell WGET=`which wget` ; if [ "$$?" = "0" ] && [ -x "$$WGET" ] ; \ + then echo "$$WGET" ; \ + else echo "curl -O -L --max-time 120" ; fi ) BUILD_CC := $(CC) STRIP = strip