From 1df82a14163b1c4e748d69d974c625be220cb1ba Mon Sep 17 00:00:00 2001
From: Alexander Stillich <dr.west@zoho.com>
Date: Fri, 10 Mar 2017 18:06:58 +0100
Subject: [PATCH]  Include pthread.h on RPI (#141)

---
 src/mutex.cpp  | 3 ++-
 src/thread.cpp | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/mutex.cpp b/src/mutex.cpp
index 5ba7036..a2cc9cb 100644
--- a/src/mutex.cpp
+++ b/src/mutex.cpp
@@ -12,7 +12,8 @@
 	|| BX_PLATFORM_NACL    \
 	|| BX_PLATFORM_IOS     \
 	|| BX_PLATFORM_OSX     \
-	|| BX_PLATFORM_PS4
+	|| BX_PLATFORM_PS4     \
+        || BX_PLATFORM_RPI
 #	include <pthread.h>
 #elif  BX_PLATFORM_WINDOWS \
 	|| BX_PLATFORM_WINRT   \
diff --git a/src/thread.cpp b/src/thread.cpp
index e921c5b..14524e0 100644
--- a/src/thread.cpp
+++ b/src/thread.cpp
@@ -10,7 +10,8 @@
 	|| BX_PLATFORM_NACL    \
 	|| BX_PLATFORM_IOS     \
 	|| BX_PLATFORM_OSX     \
-	|| BX_PLATFORM_PS4
+	|| BX_PLATFORM_PS4     \
+        || BX_PLATFORM_RPI
 #	include <pthread.h>
 #	if defined(__FreeBSD__)
 #		include <pthread_np.h>