Merge pull request #1861 from Yann-lms/checkpatch
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Wed, 13 Mar 2019 13:58:10 +0000 (13:58 +0000)
committerGitHub <noreply@github.com>
Wed, 13 Mar 2019 13:58:10 +0000 (13:58 +0000)
Update checkpatch options


Trivial merge