Merge pull request #1291 from dp-arm/dp/mk
authordavidcunado-arm <david.cunado@arm.com>
Thu, 1 Mar 2018 01:15:22 +0000 (01:15 +0000)
committerGitHub <noreply@github.com>
Thu, 1 Mar 2018 01:15:22 +0000 (01:15 +0000)
Revert "Make all build results depend on all makefiles"


Trivial merge