Merge pull request #6891 from yuhaoth/pr/add-milliseconds-platform-function

Add milliseconds platform time function
This commit is contained in:
Dave Rodgman 2023-03-31 11:47:37 +01:00 committed by GitHub
commit b8f5ba826b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
9 changed files with 191 additions and 1 deletions

View file

@ -230,7 +230,7 @@ def is_seamless_alt(name):
Exclude alternative implementations of library functions since they require
an implementation of the relevant functions and an xxx_alt.h header.
"""
if name == 'MBEDTLS_PLATFORM_SETUP_TEARDOWN_ALT':
if name in ('MBEDTLS_PLATFORM_SETUP_TEARDOWN_ALT', 'MBEDTLS_PLATFORM_MS_TIME_ALT'):
# Similar to non-platform xxx_ALT, requires platform_alt.h
return False
return name.startswith('MBEDTLS_PLATFORM_')