mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2025-03-29 13:20:21 +00:00
This fixes the issue where excluding a file containing identifiers from checks would cause check_symbols_in_header to fail. Signed-off-by: Aditya Deshpande <aditya.deshpande@arm.com>