Merge pull request #980 from dp-arm/dp/make-fix
authordavidcunado-arm <david.cunado@arm.com>
Thu, 15 Jun 2017 22:57:04 +0000 (23:57 +0100)
committerGitHub <noreply@github.com>
Thu, 15 Jun 2017 22:57:04 +0000 (23:57 +0100)
tools: Use exported quiet flag from top-level Makefile


Trivial merge