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 /docs | |
| 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 'docs')
| -rw-r--r-- | docs/user-guide.md | 3 |
1 files changed, 0 insertions, 3 deletions
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 |