Gilles Peskine 8266b5b0b4 Copy check_names.py and friends from development ...

Copy the following files:
    tests/scripts/check_names.py
    tests/scripts/list_internal_identifiers.py
    tests/scripts/list-identifiers.sh

Copy the version from b19be6b5f3, which is the
result of merging https://github.com/ARMmbed/mbedtls/pull/1638 into the
development branch.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>

2021-09-27 20:01:08 +02:00

1.9 KiB

Executable File

Raw Blame History

View Raw