Remove `DISABLE_PEDANTIC` build option
authorAntonio Nino Diaz <antonio.ninodiaz@arm.com>
Fri, 12 May 2017 15:14:51 +0000 (16:14 +0100)
committerAntonio Nino Diaz <antonio.ninodiaz@arm.com>
Thu, 1 Jun 2017 12:25:51 +0000 (13:25 +0100)
commit79eb1aff7850f6b23a302835d7a08936d74e8ce2
tree5dda442af04bedf3adeae6eddd46fd8c6555545e
parent572e14132706377530ea9f9ba4cd1fcb4b2b9479
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>
Makefile
docs/user-guide.md
make_helpers/defaults.mk