mirror of https://github.com/ARMmbed/mbed-os.git
Some host operating systems are case-insensitive and cannot
distinguish (for example) `semaphore.h` in `os_wrapper` from
`Semaphore.h` from Mbed OS `rtos`. This causes the wrong header to be
included.
By adding `os_wrapper/.mbedignore`, we guarantee that
#include "Semaphore.h"
always points to `rtos/Semaphore.h`, while the fully-qualified include
#include "os_wrapper/semaphore.h"
continues to work because its parent directory is still in the include
path.
|
||
|---|---|---|
| .. | ||
| FEATURE_PSA | ||
| CMakeLists.txt | ||
| mbed_lib.json | ||