commit 721e6bbf717ed67275b49c0c7346922dd732f7e6
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> Wed Jun 03 13:38:20 2015 +0100
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> Wed Jun 03 13:38:20 2015 +0100
tree 5903f8876302254e57f8cc2f63a9274e89885625
parent dccb80b7e55281fb0fba1c88c69baddc5d72e0ea

Fix all.sh for recent config.pl change

tests/scripts/all.sh

diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh
index 41993d9..6ca8cd7 100755
--- a/tests/scripts/all.sh
+++ b/tests/scripts/all.sh
@@ -141,6 +141,10 @@
 scripts/config.pl full
 scripts/config.pl unset POLARSSL_PLATFORM_C
 scripts/config.pl unset POLARSSL_PLATFORM_MEMORY
+scripts/config.pl unset POLARSSL_PLATFORM_PRINTF_ALT
+scripts/config.pl unset POLARSSL_PLATFORM_FPRINTF_ALT
+scripts/config.pl unset POLARSSL_PLATFORM_SNPRINTF_ALT
+scripts/config.pl unset POLARSSL_PLATFORM_EXIT_ALT
 scripts/config.pl unset POLARSSL_MEMORY_C
 scripts/config.pl unset POLARSSL_MEMORY_BUFFER_ALLOC_C
 scripts/config.pl unset POLARSSL_FS_IO