m/grafX2
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix detection of wget/curl

Browse Source
This commit is contained in:
Thomas Bernard 2019-01-21 14:04:44 +01:00
parent 228e651b4f
commit fd0a78d5bf
No known key found for this signature in database
GPG Key ID: 0FF11B67A5C0863C
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
3rdparty/Makefile vendored
View File

@ -50,7 +50,9 @@ PREFIX = $(PWD)/usr
MKDIR = mkdir -p MKDIR = mkdir -p
CP = cp -v CP = cp -v
TAR = $(shell which tar) 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) BUILD_CC := $(CC)
STRIP = strip STRIP = strip