mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2026-03-22 12:11:10 +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>
3.7 KiB
3.7 KiB