File tree Expand file tree Collapse file tree 2 files changed +5
-1
lines changed Expand file tree Collapse file tree 2 files changed +5
-1
lines changed Original file line number Diff line number Diff line change @@ -112,6 +112,10 @@ matrix:
112
112
# Check that example compiles
113
113
- sed -n '/``` cpp/,/```/{/```$/Q;/```/d;p;}' $EVENTS/README.md > main.cpp
114
114
- python tools/make.py -t GCC_ARM -m K64F --source=. --build=BUILD/K64F/GCC_ARM -j0
115
+ # Check that example compiles without rtos
116
+ - sed -n '/``` cpp/,/```/{/```$/Q;/```/d;p;}' $EVENTS/README.md > main.cpp
117
+ - rm -r rtos features/netsocket features/frameworks BUILD
118
+ - python tools/make.py -t GCC_ARM -m DISCO_F401VC --source=. --build=BUILD/DISCO_F401VC/GCC_ARM -j0
115
119
# Run local equeue tests
116
120
- make -C $EVENTS/equeue test
117
121
Original file line number Diff line number Diff line change @@ -49,7 +49,7 @@ extern "C" {
49
49
// Platform includes
50
50
#if defined(EQUEUE_PLATFORM_POSIX )
51
51
#include <pthread.h>
52
- #elif defined(EQUEUE_PLATFORM_MBED )
52
+ #elif defined(EQUEUE_PLATFORM_MBED ) && defined( MBED_CONF_RTOS_PRESENT )
53
53
#include "cmsis_os2.h"
54
54
#include "mbed_rtos_storage.h"
55
55
#endif
You can’t perform that action at this time.
0 commit comments