Merge pull request #1615 from Andre-ARM/make_s
authorSoby Mathew <soby.mathew@arm.com>
Fri, 12 Oct 2018 13:39:50 +0000 (14:39 +0100)
committerGitHub <noreply@github.com>
Fri, 12 Oct 2018 13:39:50 +0000 (14:39 +0100)
Makefile: Support totally quiet output with -s


Trivial merge