Merge pull request #1645 from antonio-nino-diaz-arm/an/fix-windows
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Tue, 23 Oct 2018 13:39:01 +0000 (15:39 +0200)
committerGitHub <noreply@github.com>
Tue, 23 Oct 2018 13:39:01 +0000 (15:39 +0200)
commit8eb39a003aedd49650a28956b14b9d73e620c428
tree8e71da8811e22d4c0ba201815483fed41b75344e
parenteb746c948413c55e5cede75444a008eb0462fddf
parentb5a0f4bd1910b49b3d11b9bd712f9dc05f894d91
Merge pull request #1645 from antonio-nino-diaz-arm/an/fix-windows

Makefile: Fix verbose builds on Windows