diff options
author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2018-09-24 17:16:25 +0100 |
---|---|---|
committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2018-09-28 15:31:53 +0100 |
commit | 62fa9c2e8f65ad820b0d5c3cf4231a60d3ddbd79 (patch) | |
tree | 7ef2b11a068c4702ae69fb27a071ba25454e463f /lib/semihosting/semihosting.c | |
parent | 60e19f574414d69ec1f73c89c082e7e3fc14fdcd (diff) |
rpi3: Remove references to removed build options
Change-Id: Ida5364da1346261cf1636c6a4956a562a5c36ee7
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>
Diffstat (limited to 'lib/semihosting/semihosting.c')
0 files changed, 0 insertions, 0 deletions