Official mbed Real Time Operating System based on the RTX implementation of the CMSIS-RTOS API open standard.
Fork of mbed-rtos by
Diff: rtx/rt_Mutex.c
- Revision:
- 11:db1fc233faa9
- Parent:
- 6:350b53afb889
--- a/rtx/rt_Mutex.c Wed Apr 24 14:45:21 2013 +0000 +++ b/rtx/rt_Mutex.c Tue Apr 30 10:51:19 2013 +0000 @@ -33,7 +33,7 @@ *---------------------------------------------------------------------------*/ #include "rt_TypeDef.h" -#include "RTX_Config.h" +#include "RTX_Conf.h" #include "rt_List.h" #include "rt_Task.h" #include "rt_Mutex.h"