From 8019d452002fbe85f6f0a440536b8400cecefd73 Mon Sep 17 00:00:00 2001
From: Andrew Tridgell <tridge@samba.org>
Date: Tue, 31 Dec 2013 09:30:50 +1100
Subject: [PATCH] DataFlash: use HAL_OS_POSIX_IO

---
 libraries/DataFlash/DataFlash_File.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/libraries/DataFlash/DataFlash_File.cpp b/libraries/DataFlash/DataFlash_File.cpp
index fff8a3f050f..b13e39b0f2f 100644
--- a/libraries/DataFlash/DataFlash_File.cpp
+++ b/libraries/DataFlash/DataFlash_File.cpp
@@ -9,7 +9,7 @@
 
 #include <AP_HAL.h>
 
-#if CONFIG_HAL_BOARD == HAL_BOARD_PX4 || CONFIG_HAL_BOARD == HAL_BOARD_AVR_SITL || CONFIG_HAL_BOARD == HAL_BOARD_LINUX
+#if HAL_OS_POSIX_IO
 #include "DataFlash.h"
 #include <sys/stat.h>
 #include <sys/types.h>
@@ -536,4 +536,5 @@ void DataFlash_File::_io_timer(void)
     }
 }
 
-#endif // CONFIG_HAL_BOARD
+#endif // HAL_OS_POSIX_IO
+