tree a4a730507267774b60d54766e62bcafb576697a7
parent be23b770a8eff6f82560f2c94e4dcbea5b40d99a
author Gilles Peskine <Gilles.Peskine@arm.com> 1562179336 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1565711666 +0200

Add a test of MBEDTLS_CONFIG_FILE

configs/README.txt documents that you can use an alternative
configuration file by defining the preprocessor symbol
MBEDTLS_CONFIG_FILE. Test this.