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)
commit6c5e196be37b4afe3403f349d5da1747e12460ac
treeb1e4dc1acd96f771ff29604329aff8f6b1913927
parent08c2f2641e01065b42a16eda0bf5e229795382bc
parent600835d028a1303346a981eb6080a766806a6ae5
Merge pull request #1456 from robertovargas-arm/make_cert

make_cert: return error when invalid options are used