Merge pull request #1159 from jeenu-arm/sdei-fix
authordavidcunado-arm <david.cunado@arm.com>
Tue, 14 Nov 2017 09:25:50 +0000 (09:25 +0000)
committerGitHub <noreply@github.com>
Tue, 14 Nov 2017 09:25:50 +0000 (09:25 +0000)
commite83769c07bb09b7727a36389c9dd92096860637e
tree74fe8f646c8ee8a8b2d3635b2f9d794ed56afd74
parentc195f1a7055fbd7fd5487d6a6cc413b742604b09
parent897f04e8b65117171f6eaa66f79b32d64f6da32c
Merge pull request #1159 from jeenu-arm/sdei-fix

SDEI: Fix build error with logging enabled