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)
commit5808ed850241c6dc6c9c4ae84fefc02cffee838b
tree0510e1e4c09a6bc8a33c8faa210ca3d552742a56
parent500c0edac62d863a1a14a8fb6ff628e092cafb5b
parenta9673900625acf97dff8bd218acad09f65f5bc02
Merge pull request #980 from dp-arm/dp/make-fix

tools: Use exported quiet flag from top-level Makefile