mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2026-05-13 15:24:05 +02:00
Now that the script might additionally run mypy, it's more user-friendly to indicate what's going on at the beginning as well. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>