From 6bfef53b813cf9067bccaa2e52296a0916e3c434 Mon Sep 17 00:00:00 2001
From: Philippe Renon <op.filnet@yahoo.fr>
Date: Thu, 24 Oct 2013 00:09:01 +0200
Subject: [PATCH] [OP-1085] Qt5.1.1 - made curl report progress by default (can
 be switched off by adding BATCH=1 on make command line)

---
 make/tools.mk | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/make/tools.mk b/make/tools.mk
index 1529e8925..9dae10e86 100644
--- a/make/tools.mk
+++ b/make/tools.mk
@@ -177,15 +177,20 @@ MSG_NOTICE           = $(QUOTE) NOTE       $(QUOTE)
 
 # Verbosity level
 ifeq ($(V), 1)
-    CURL_OPTIONS  :=
     MAKE_SILENT   :=
     UNZIP_SILENT  :=
 else
-    CURL_OPTIONS  := --silent
     MAKE_SILENT   := --silent
     UNZIP_SILENT  := -q
 endif
 
+# Batch mode
+ifeq ($(BATCH), 1)
+    CURL_OPTIONS  := --silent
+else
+    CURL_OPTIONS  :=
+endif
+
 # MSYS tar workaround
 ifeq ($(UNAME), Windows)
     TAR_OPTIONS := --force-local
@@ -201,6 +206,7 @@ ifneq ($(strip $(filter $(addsuffix _install,all_sdk $(ALL_SDK_TARGETS)),$(MAKEC
     $(info $(EMPTY) NOTE        Use 'make all_sdk_distclean' to remove installation files)
     $(info $(EMPTY) NOTE        Use 'make all_sdk_version' to check toolchain versions)
     $(info $(EMPTY) NOTE        Add 'V=1' to make command line to diagnose make problems)
+    $(info $(EMPTY) NOTE        Add 'BATCH=1' to make command line to disable progress reporting during downloads)
 endif
 
 ##############################