A S / mbed-rtos

mbed rtos - modified for the final project of the course "Advanced Operating Systems"

Dependents:   aos_mbed

Fork of mbed-rtos by mbed official

Diff: rtx/RTX_CM_lib.h

Revision:
9:53e6cccd8782
Parent:
6:350b53afb889
Child:
10:fcb1f103f7a1
diff -r 88a1a9c26ae3 -r 53e6cccd8782 rtx/RTX_CM_lib.h
--- a/rtx/RTX_CM_lib.h	Tue Nov 27 16:55:38 2012 +0000
+++ b/rtx/RTX_CM_lib.h	Mon Jan 28 14:46:06 2013 +0000
@@ -31,6 +31,7 @@
  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
  * POSSIBILITY OF SUCH DAMAGE.
  *---------------------------------------------------------------------------*/
+#include "error.h"
 
 #if   defined (__CC_ARM)
 #pragma O3
@@ -157,7 +158,7 @@
 
   if (nr_mutex >= OS_MUTEXCNT) {
     /* If you are here, you need to increase the number OS_MUTEXCNT. */
-    for (;;);
+    error("Not enough stdlib mutexes\n");
   }
   *mutex = &std_libmutex[nr_mutex++];
   mutex_init (*mutex);