| commit | 756fe8de06125faf1dec9256cbf77190dd77382a | [log] [tgz] |
|---|---|---|
| author | Dimitris Papastamos <dimitris.papastamos@arm.com> | Fri Aug 31 14:24:27 2018 +0100 |
| committer | GitHub <noreply@github.com> | Fri Aug 31 14:24:27 2018 +0100 |
| tree | ee02c1f751621797fa5c884ea349f4a6922a2fa7 | |
| parent | 54c286ddfbfc819132b876dbe76feb42ccd52eb9 [diff] | |
| parent | 25a17a2ebc9ba19631201973f7e9ec1cc6862419 [diff] |
Merge pull request #1552 from glneo/build-fix GIC: Fix build error