mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2026-03-20 19:21:09 +01:00
Test that `scripts/data_files/config-options-current.txt` is up-to-date. This file needs to change every time we add or remove a config option. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>