Merge pull request #1338 from antonio-nino-diaz-arm/an/spm-flag-check
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Wed, 4 Apr 2018 08:58:24 +0000 (09:58 +0100)
committerGitHub <noreply@github.com>
Wed, 4 Apr 2018 08:58:24 +0000 (09:58 +0100)
SPM: Assert value of `ENABLE_SPM` build flag


Trivial merge