Pedro Correia / mbed-dev

mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Diff: platform/PlatformMutex.h

Revision:
168:9672193075cf
Parent:
167:e84263d55307
Child:
178:79309dc6340a
--- a/platform/PlatformMutex.h	Wed Jun 21 17:46:44 2017 +0100
+++ b/platform/PlatformMutex.h	Thu Jul 06 15:42:05 2017 +0100
@@ -18,6 +18,8 @@
 #ifndef PLATFORM_MUTEX_H
 #define PLATFORM_MUTEX_H
 
+#include "platform/NonCopyable.h"
+
 #ifdef MBED_CONF_RTOS_PRESENT
 #include "rtos/Mutex.h"
 typedef rtos::Mutex PlatformMutex;
@@ -25,7 +27,7 @@
 /** A stub mutex for when an RTOS is not present
  * @ingroup platform
 */
-class PlatformMutex {
+class PlatformMutex : private mbed::NonCopyable<PlatformMutex> {
 public:
     PlatformMutex() {
         // Stub