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>

diff --git a/Makefile b/Makefile
index c5c281aa9da0a284fcfb8dd8d6dd29e4e59d8166..aec10c95c2cf17eda666cbe0c9c855c865b1f147 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -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.

diff --git a/docs/user-guide.md b/docs/user-guide.md
index 5165000d36ceda71d987f017cfc0a0377d47a785..07551c3588fb0b05fb06b42730b37c9239e7e011 100644 (file)
--- a/docs/user-guide.md
+++ b/docs/user-guide.md
@@ -300,9 +300,6 @@ performed.
 *   `DEBUG`: Chooses between a debug and release build. It can take either 0
     (release) or 1 (debug) as values. 0 is the default.
 
-*   `DISABLE_PEDANTIC`: When set to 1 it will disable the -pedantic option in
-    the GCC command line. Default is 0.
-
 *   `EL3_PAYLOAD_BASE`: This option enables booting an EL3 payload instead of
     the normal boot flow. It must specify the entry point address of the EL3
     payload. Please refer to the "Booting an EL3 payload" section for more

diff --git a/make_helpers/defaults.mk b/make_helpers/defaults.mk
index a31e59c0fecd5a8d04d96c503e62d79544656b30..2c8f82a4eb287f6a902e6278e1f44090290a2bc3 100644 (file)
--- a/make_helpers/defaults.mk
+++ b/make_helpers/defaults.mk
@@ -54,9 +54,6 @@ DEBUG                         := 0
 # Build platform
 DEFAULT_PLAT                   := fvp
 
-# By default, use the -pedantic option in the gcc command line
-DISABLE_PEDANTIC               := 0
-
 # Flag to enable Performance Measurement Framework
 ENABLE_PMF                     := 0