From 721e6bbf717ed67275b49c0c7346922dd732f7e6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Manuel=20P=C3=A9gouri=C3=A9-Gonnard?= Date: Wed, 3 Jun 2015 13:38:20 +0100 Subject: [PATCH] Fix all.sh for recent config.pl change --- tests/scripts/all.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh index 41993d95a1..6ca8cd72cb 100755 --- a/tests/scripts/all.sh +++ b/tests/scripts/all.sh @@ -141,6 +141,10 @@ cp "$CONFIG_H" "$CONFIG_BAK" 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