Merge pull request #1456 from robertovargas-arm/make_cert
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Mon, 2 Jul 2018 10:39:22 +0000 (11:39 +0100)
committerGitHub <noreply@github.com>
Mon, 2 Jul 2018 10:39:22 +0000 (11:39 +0100)
make_cert: return error when invalid options are used


Trivial merge