tree ff21aa1c53825c096ce2a9793e03efa7d778288a
parent ac41c191b90c94c0fd2a5b1f1eca7675ee467773
author Gilles Peskine <Gilles.Peskine@arm.com> 1543922740 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1543922740 +0100

Don't include mbedtls/platform.h unconditionally

Programs must not include mbedtls/platform.h if MBEDTLS_PLATFORM_C is
not defined. Test suites don't need to include mbedtls/platform.h
because helpers.function takes care of it.

This commit also removes a stray `;` which is technically not standard C.