diff --git a/scripts/memory.sh b/scripts/memory.sh index 4900fe1ea..710ee96e0 100755 --- a/scripts/memory.sh +++ b/scripts/memory.sh @@ -41,6 +41,7 @@ do_config() echo "" echo "config-$NAME:" cp configs/config-$NAME.h $CONFIG_H + scripts/config.pl unset POLARSSL_SSL_SRV_C for FLAG in $UNSET_LIST; do scripts/config.pl unset $FLAG