Fix NuttX build error after dev/socket was merged (#1517)

2022-09-26 21:06:14 +09:00
parent 3693cbe54d
commit 3d56c8133c
2 changed files with 13 additions and 2 deletions
--- a/core/shared/platform/nuttx/platform_internal.h
+++ b/core/shared/platform/nuttx/platform_internal.h
@ -22,6 +22,7 @@
 #include <unistd.h>
 #include <math.h>
 #include <sys/ioctl.h>
+#include <sys/socket.h>
 #include <sys/stat.h>
 #include <sys/time.h>
 #include <sys/mman.h>