aboutsummaryrefslogtreecommitdiff
path: root/bl31/bl31.mk
diff options
context:
space:
mode:
authorAntonio Nino Diaz <antonio.ninodiaz@arm.com>2019-01-21 11:53:41 +0000
committerAntonio Nino Diaz <antonio.ninodiaz@arm.com>2019-01-21 17:17:36 +0000
commit99d5575a7fd7d5bff6353576afb0da8a2b9020b4 (patch)
tree030fa3d86475be3e936138a45f3b07672f97d1a8 /bl31/bl31.mk
parentc40c88f81b7fb7c78e8f491b462f29814337dcf5 (diff)
downloadtrusted-firmware-a-99d5575a7fd7d5bff6353576afb0da8a2b9020b4.tar.gz
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>
Diffstat (limited to 'bl31/bl31.mk')
0 files changed, 0 insertions, 0 deletions