Merge branch 'mbedtls-1.3' into development

* mbedtls-1.3:
  Fix all.sh for recent config.pl change

Conflicts:
	tests/scripts/all.sh
diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh
index e4da7b6..6fe6d47 100755
--- a/tests/scripts/all.sh
+++ b/tests/scripts/all.sh
@@ -148,6 +148,10 @@
 scripts/config.pl full
 scripts/config.pl unset MBEDTLS_PLATFORM_C
 scripts/config.pl unset MBEDTLS_PLATFORM_MEMORY
+scripts/config.pl unset MBEDTLS_PLATFORM_PRINTF_ALT
+scripts/config.pl unset MBEDTLS_PLATFORM_FPRINTF_ALT
+scripts/config.pl unset MBEDTLS_PLATFORM_SNPRINTF_ALT
+scripts/config.pl unset MBEDTLS_PLATFORM_EXIT_ALT
 scripts/config.pl unset MBEDTLS_MEMORY_BUFFER_ALLOC_C
 scripts/config.pl unset MBEDTLS_FS_IO
 CC=gcc CFLAGS='-Werror -O0' make