diff options
| -rw-r--r-- | Makefile | 5 | ||||
| -rw-r--r-- | docs/user-guide.md | 3 | ||||
| -rw-r--r-- | make_helpers/defaults.mk | 3 |
3 files changed, 0 insertions, 11 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. diff --git a/docs/user-guide.md b/docs/user-guide.md index 5165000d..07551c35 100644 --- 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 a31e59c0..2c8f82a4 100644 --- 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 |