Merge pull request #1552 from glneo/build-fix
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Fri, 31 Aug 2018 13:24:27 +0000 (14:24 +0100)
committerGitHub <noreply@github.com>
Fri, 31 Aug 2018 13:24:27 +0000 (14:24 +0100)
commit776ba05a4718389ef4a35ec3f6b837be3cc39f54
treeee02c1f751621797fa5c884ea349f4a6922a2fa7
parent3ee60d817cfc03087e9f924442685342f11c3be1
parent2ac50020469bb551ba5eb1212d8b47530c908c6a
Merge pull request #1552 from glneo/build-fix

GIC: Fix build error