| commit | 476d3cda8f3b8f6a2f61d414f2bc9d0e91e900a6 | [log] [tgz] |
|---|---|---|
| author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | Mon Jan 21 11:53:41 2019 +0000 |
| committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | Mon Jan 21 17:17:36 2019 +0000 |
| tree | 030fa3d86475be3e936138a45f3b07672f97d1a8 | |
| parent | 209135a3af8b2c26a7e880db72f475522d45ba90 [diff] |
Remove reference to DISABLE_PEDANTIC
This flag was removed in 79eb1aff7850 ("Remove `DISABLE_PEDANTIC` build
option").
Change-Id: Ic3584a4c5f0100ed9e57b068ec672b0baae8cfab
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>