Bump Mbed target to Mbed OS 5.11.1 (#2695)

The git hash mbed-os.lib was pointing to marked Mbed OS 5.5.5 and
was more than a year old and more than 10.000 commits behind latest
mbed-os master.

This commit forwards the reference to the latest Mbed OS release
(5.11.1).

JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu
This commit is contained in:
Akos Kiss
2019-01-17 10:38:02 +01:00
committed by Robert Sipka
parent 243f2ffcad
commit 7934117625
2 changed files with 3 additions and 3 deletions
+1 -1
View File
@@ -1 +1 @@
https://github.com/ARMmbed/mbed-os/#db4be94693c3a873cfa0c025a5ad2e62b86a8474
https://github.com/ARMmbed/mbed-os/#c966348d3f9ca80843be7cdc9b748f06ea73ced0