Krait: Add missing header

2026-10-17 04:03:33 +08:00 · 2015-12-01 13:41:24 +01:00
parent b240b3fc3c
commit 360e3c03b6
1 changed files with 4 additions and 0 deletions
@@ -36,6 +36,10 @@
 #include "px4_tasks.h"
 #include <drivers/drv_hrt.h>
 #include <cstdio>
+#ifdef __PX4_LINUX
+#define _GNU_SOURCE
+#endif
+#include <pthread.h>

 #define LOG_TAG "uORBKraitFastRpcChannel.cpp"