tree 16aabd814be64c349464310a3b4de539f5ca7ebf
parent 9fbbf1c1f03e74deb7550b0ca235097587b12981
author Hanno Becker <hanno.becker@arm.com> 1536161074 +0100
committer Hanno Becker <hanno.becker@arm.com> 1536161084 +0100

Don't include platform_time.h if !MBEDTLS_HAVE_TIME

platform_time.h includes time.h, which is not assumed to be present
on a system where MBEDTLS_HAVE_TIME is not defined.