tree e3ad4f0cdf4543149b6e57b728695807ca4b0c3d
parent ff645d9838f4797c726562d90c0a9ae5207ea86f
author Gilles Peskine <Gilles.Peskine@arm.com> 1567512451 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1567512696 +0200

Remove config.pl calls with no effect

When MBEDTLS_MEMORY_BUFFER_ALLOC_C is disabled, other
MBEDTLS_MEMORY_xxx options have no effect, so don't bother unsetting
them explicitly.