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 /Makefile | |
| 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 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 0 insertions, 5 deletions
@@ -336,11 +336,6 @@ endif # Process platform overrideable behaviour ################################################################################ -# Check if -pedantic option should be used -ifeq (${DISABLE_PEDANTIC},0) - TF_CFLAGS += -pedantic -endif - # Using the ARM Trusted Firmware BL2 implies that a BL33 image also needs to be # supplied for the FIP and Certificate generation tools. This flag can be # overridden by the platform. |