Merge pull request #1041 from masahir0y/fiptool
authordavidcunado-arm <david.cunado@arm.com>
Tue, 1 Aug 2017 11:38:19 +0000 (12:38 +0100)
committerGitHub <noreply@github.com>
Tue, 1 Aug 2017 11:38:19 +0000 (12:38 +0100)
fiptool: remove local directory from the header search path


Trivial merge