tree 0510e1e4c09a6bc8a33c8faa210ca3d552742a56
parent dcb3f6bb170469b3ab6b55e833cd0be2f76a5644
parent 34c8201ba6088d01e0561d970a7c558f7d12ecea
author davidcunado-arm <david.cunado@arm.com> 1497567424 +0100
committer GitHub <noreply@github.com> 1497567424 +0100

Merge pull request #980 from dp-arm/dp/make-fix

tools: Use exported quiet flag from top-level Makefile