Merge pull request #1719 from Yann-lms/useless_flags
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Tue, 18 Dec 2018 10:55:11 +0000 (11:55 +0100)
committerGitHub <noreply@github.com>
Tue, 18 Dec 2018 10:55:11 +0000 (11:55 +0100)
stm32mp1: remove useless compilation flags


Trivial merge