commit ef843f2b0c578d579228bd90894c4319379ae1bf
author Gilles Peskine <Gilles.Peskine@arm.com> Sun Sep 18 14:05:23 2022 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> Sun Sep 18 14:05:23 2022 +0200
tree 12ab0168488ca72905e3aaaa563d3f042e745fe7
parent a844b4b3703c86c6cbb260fc2f100be9380a82cd

MBEDTLS_PLATFORM_VSNPRINTF_ALT requires MBEDTLS_PLATFORM_C

mbedtls_vsnprintf replacement works like mbedtls_snprintf replacement, so
copy the requirements for MBEDTLS_PLATFORM_VSNPRINTF_ALT.

(MBEDTLS_PLATFORM_xxx_MACRO shouldn't require MBEDTLS_PLATFORM_C, but that's
a separate preexisting problem which I do not try address at this time.)

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>

tests/scripts/all.sh

diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh
index 6c70f78..f2f10b5e 100755
--- a/tests/scripts/all.sh
+++ b/tests/scripts/all.sh
@@ -2298,6 +2298,7 @@
     scripts/config.py unset MBEDTLS_PLATFORM_PRINTF_ALT
     scripts/config.py unset MBEDTLS_PLATFORM_FPRINTF_ALT
     scripts/config.py unset MBEDTLS_PLATFORM_SNPRINTF_ALT
+    scripts/config.py unset MBEDTLS_PLATFORM_VSNPRINTF_ALT
     scripts/config.py unset MBEDTLS_PLATFORM_TIME_ALT
     scripts/config.py unset MBEDTLS_PLATFORM_EXIT_ALT
     scripts/config.py unset MBEDTLS_PLATFORM_SETBUF_ALT