diff options
author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2017-05-12 16:14:51 +0100 |
---|---|---|
committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2017-06-01 13:25:51 +0100 |
commit | 79eb1aff7850f6b23a302835d7a08936d74e8ce2 (patch) | |
tree | 5dda442af04bedf3adeae6eddd46fd8c6555545e /lib/psci/psci_main.c | |
parent | 572e14132706377530ea9f9ba4cd1fcb4b2b9479 (diff) |
Remove `DISABLE_PEDANTIC` build option
It doesn't make sense to use the `-pedantic` flag when building the
Trusted Firmware as we use GNU extensions and so our code is not
fully ISO C compliant. This flag only makes sense if the code intends to
be ISO C compliant.
Change-Id: I6273564112759ff57f03b273f5349733a5f38aef
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>
Diffstat (limited to 'lib/psci/psci_main.c')
0 files changed, 0 insertions, 0 deletions