Merge pull request #1208 from masahir0y/build
authordavidcunado-arm <david.cunado@arm.com>
Wed, 10 Jan 2018 01:10:51 +0000 (01:10 +0000)
committerGitHub <noreply@github.com>
Wed, 10 Jan 2018 01:10:51 +0000 (01:10 +0000)
commit210d8d8b8a00b91399f2227840e15bfaafd024a2
tree425ae6e9c1f74a434fa1d0ecc8741610f454ffef
parent8d356425e5020a9e9dd31058f6916f811a36ec4b
parent87ebd20d4b8e661c6364db629b141c6a24495f82
Merge pull request #1208 from masahir0y/build

Build: trivial fixes