tree 69e9843d29d9116903954d0d76a020e9daa40fb1
parent 1ed9f99ef34493f6a7f3a11e813c4a223d1b26b7
author Janos Follath <janos.follath@arm.com> 1460999928 +0100
committer Simon Butcher <simon.butcher@arm.com> 1461075353 +0100

Fix ci break in builds without platform.h