tools: use batch mode

Further log cleanup for Android;
prevent showing the list of files for
build tools, which is almost never useful
and can print a lot of lines (eg. gettext).

Change-Id: Ic87fd110035c3d715273194efb360fbf19de6dab
Reviewed-by: Philippe Gorley <philippe.gorley@savoirfairelinux.com>

extras/tools/tools.mak

@@ -24,6 +24,9 @@ include packages.mak
 AUTOCONF=$(PREFIX)/bin/autoconf
 export AUTOCONF
 
+# Set following to non-empty to remove uneeded progression reports (i.e. with automatics builds)
+BATCH_MODE = 1
+
 ifeq ($(shell curl --version >/dev/null 2>&1 || echo FAIL),)
 download = curl $(if ${BATCH_MODE},-sS) -f -L --retry-delay 10 --retry 2 -- "$(1)" > "$@"
 else ifeq ($(shell wget --version >/dev/null 2>&1 || echo FAIL),)