mbed official / mbed

The official Mbed 2 C/C++ SDK provides the software platform and libraries to build your applications.

Dependents:   hello SerialTestv11 SerialTestv12 Sierpinski ... more

mbed 2

This is the mbed 2 library. If you'd like to learn about Mbed OS please see the mbed-os docs.

Diff: platform/PlatformMutex.h

Revision:
146:22da6e220af6
Parent:
145:64910690c574
--- a/platform/PlatformMutex.h	Wed Jun 21 17:31:38 2017 +0100
+++ b/platform/PlatformMutex.h	Thu Jul 06 15:30:22 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