ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #2227 from mbedmicro/include_rtos_by_default 

Includre rtos.h in mbed.h if present
pull/2157/merge
Sam Grove 2016-07-22 15:50:43 -05:00 committed by GitHub
parent 9ab05ae7c5 b8ab75db03
commit 83f24fb0bd
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
hal/api/mbed.h
View File

@ -18,6 +18,10 @@
#define MBED_LIBRARY_VERSION 122 #define MBED_LIBRARY_VERSION 122
#if MBED_CONF_RTOS_PRESENT
#include "rtos/rtos.h"
#endif
#include "toolchain.h" #include "toolchain.h"
#include "platform.h" #include "platform.h"