| commit | 6c5e196be37b4afe3403f349d5da1747e12460ac | [log] [tgz] |
|---|---|---|
| author | Dimitris Papastamos <dimitris.papastamos@arm.com> | Mon Jul 02 11:39:22 2018 +0100 |
| committer | GitHub <noreply@github.com> | Mon Jul 02 11:39:22 2018 +0100 |
| tree | b1e4dc1acd96f771ff29604329aff8f6b1913927 | |
| parent | 08c2f2641e01065b42a16eda0bf5e229795382bc [diff] | |
| parent | 600835d028a1303346a981eb6080a766806a6ae5 [diff] |
Merge pull request #1456 from robertovargas-arm/make_cert make_cert: return error when invalid options are used