From e5221ba8d664f9e19b5fdef09341ec8fa0adeea0 Mon Sep 17 00:00:00 2001
From: Thomas Bernard <miniupnp@free.fr>
Date: Tue, 22 Jan 2019 16:56:31 +0100
Subject: [PATCH] 3rdparty: add wget -nv option

---
 3rdparty/Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/3rdparty/Makefile b/3rdparty/Makefile
index d8d06962..44717de6 100644
--- a/3rdparty/Makefile
+++ b/3rdparty/Makefile
@@ -64,8 +64,10 @@ PREFIX = $(PWD)/usr
 MKDIR = mkdir -p
 CP = cp -v
 TAR = $(shell which tar)
+# you need either wget or curl to download the files
+# wget -nv option is used to avoid messing the output when using "make -j3"
 GETURL = $(shell WGET=`which wget` ; if [ "$$?" = "0" ] && [ -x "$$WGET" ] ; \
-                 then echo "$$WGET" ; \
+                 then echo "$$WGET -nv" ; \
                  else echo "curl -O -L --max-time 120" ; fi )
 
 BUILD_CC := $(CC)