tree 66e5559e368802cbea0e139feba474bac68f0dd1
parent 2003c2f455219a0992fce4a80c3bf80a24b5d0fe
author Gilles Peskine <Gilles.Peskine@arm.com> 1649361386 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1649361593 +0200

Remove obsolete comment

mbedtls/mbedtls_config.h (formerly mbedtls/config.h) used to be included
directly in many places, so we wanted to test that all of these places
allowed the MBEDTLS_CONFIG_FILE override. Now mbedtls/mbedtls_config.h is
only included via build_info.h, so this is not relevant anymore.

It is no longer particularly useful to test MBEDTLS_CONFIG_FILE with the
full config, but it isn't harmful either, so keep it that way.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>