tree 030fa3d86475be3e936138a45f3b07672f97d1a8
parent 209135a3af8b2c26a7e880db72f475522d45ba90
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1548071621 +0000
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1548091056 +0000

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>