Merge pull request #4453 from facchinm/crt_in_filesystem_mbed_os

mbed-os: allow storing certificates in filesystem
This commit is contained in:
Gilles Peskine 2021-05-20 15:53:47 +02:00 committed by GitHub
commit f4c1d58607
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -74,7 +74,11 @@
#if !defined(_WIN32) || defined(EFIX64) || defined(EFI32)
#include <sys/types.h>
#include <sys/stat.h>
#if defined(__MBED__)
#include <platform/mbed_retarget.h>
#else
#include <dirent.h>
#endif /* __MBED__ */
#endif /* !_WIN32 || EFIX64 || EFI32 */
#endif