Commit 124442d8 authored by Felix Paul Kühne's avatar Felix Paul Kühne

* prefer wget over curl

parent 5097081b
...@@ -243,10 +243,10 @@ echo "EXTRA_CPPFLAGS = ${EXTRA_CPPFLAGS} -isystem \$(PREFIX)/include" >> config. ...@@ -243,10 +243,10 @@ echo "EXTRA_CPPFLAGS = ${EXTRA_CPPFLAGS} -isystem \$(PREFIX)/include" >> config.
echo "EXTRA_LDFLAGS = ${EXTRA_LDFLAGS}" >> config.mak echo "EXTRA_LDFLAGS = ${EXTRA_LDFLAGS}" >> config.mak
echo "EXTRA_PATH = ${EXTRA_PATH}" >> config.mak echo "EXTRA_PATH = ${EXTRA_PATH}" >> config.mak
if which curl >/dev/null; then if which wget --version >/dev/null 2>&1; then
echo "WGET = wget -c" >> config.mak
elif curl >/dev/null; then
echo "WGET = curl -L -O" >> config.mak echo "WGET = curl -L -O" >> config.mak
elif wget --version >/dev/null 2>&1; then
echo "WGET = wget" >> config.mak
else else
echo "You need at least wget or curl to fetch the packages." >&2 echo "You need at least wget or curl to fetch the packages." >&2
exit 1 exit 1
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment