latest mbed-rtos and mbed.bld broken

[sg-]

Error: Cannot open source input file "cmsis_os.h": No such file or directory in "mbed-rtos/rtos/Mutex.h", Line: 26, Col: 22

Seems like all targets are affected.

http://developer.mbed.org/questions/5186/Cant-find-cmsis_osh-when-compiling-with-/

[0xc0170]

I suspect it appeared once that cortex A was added. So either build scripts are outdated on the site or there's an issue in sources. 😑

[0xc0170]

The project with RTOS builds offline, the rtos library itself also. I believe the scripts in the online IDE needs to be updated to reflect this change.

@screamerbg Please look at this bug.

[screamerbg]

I'll take a look at it later today.

[0xc0170]

Thanks, let us know the outcome.

[0xc0170]

I believe this has been resolved. Was able to compile yesterday. Closing.