mirror of
https://github.com/ARMmbed/mbedtls.git
synced 2025-06-04 22:13:31 +08:00

When doing ABI/API checking, its useful to have a list of all the identifiers that are defined in the internal header files, as we do not promise compatibility for them. This option allows for a simple method of getting them for use with the ABI checking script.