From 012a66787f8363ec1e9f07b8cab278561d3bc50c Mon Sep 17 00:00:00 2001
From: Lorenz Meier <lm@inf.ethz.ch>
Date: Tue, 1 Dec 2015 13:10:41 +0100
Subject: [PATCH] Fix includes in px4_tasks.h

---
 src/platforms/px4_tasks.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/platforms/px4_tasks.h b/src/platforms/px4_tasks.h
index e71e97f880..33c2fb4705 100644
--- a/src/platforms/px4_tasks.h
+++ b/src/platforms/px4_tasks.h
@@ -49,6 +49,9 @@
 #elif defined(__PX4_NUTTX)
 typedef int px4_task_t;
 
+#include <sys/prctl.h>
+#define px4_prctl prctl
+
 /** Default scheduler type */
 #if CONFIG_RR_INTERVAL > 0
 # define SCHED_DEFAULT  SCHED_RR
@@ -80,10 +83,7 @@ typedef int px4_task_t;
 #error "No target OS defined"
 #endif
 
-#if defined (__PX4_NUTTX)
-#include <sys/prctl.h>
-#define px4_prctl prctl
-#elif defined (__PX4_LINUX)
+#if defined (__PX4_LINUX)
 #include <sys/prctl.h>
 #else
 #define PR_SET_NAME	1