diff options
author | Dimitris Papastamos <dimitris.papastamos@arm.com> | 2018-07-02 11:39:22 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-02 11:39:22 +0100 |
commit | 6c5e196be37b4afe3403f349d5da1747e12460ac (patch) | |
tree | b1e4dc1acd96f771ff29604329aff8f6b1913927 /include | |
parent | 08c2f2641e01065b42a16eda0bf5e229795382bc (diff) | |
parent | 600835d028a1303346a981eb6080a766806a6ae5 (diff) | |
download | platform_external_arm-trusted-firmware-6c5e196be37b4afe3403f349d5da1747e12460ac.tar.gz platform_external_arm-trusted-firmware-6c5e196be37b4afe3403f349d5da1747e12460ac.tar.bz2 platform_external_arm-trusted-firmware-6c5e196be37b4afe3403f349d5da1747e12460ac.zip |
Merge pull request #1456 from robertovargas-arm/make_cert
make_cert: return error when invalid options are used
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions