mirror of https://github.com/ARMmbed/mbed-os.git
cmsis importer: add sha for rtx changes after file moved
cherry pick otherwise fails because the sources were moved under rtos/source. I manually resolved these patches. For the future, lets use these newer sha that should work.pull/12949/head
parent
96e0689204
commit
9977458393
|
|
@ -147,7 +147,11 @@
|
||||||
"4360b7bbf815c4d812005938c9c27af199803a97",
|
"4360b7bbf815c4d812005938c9c27af199803a97",
|
||||||
"6a6e3ac0ebab1a6b6aa08d0928702c79562acee9",
|
"6a6e3ac0ebab1a6b6aa08d0928702c79562acee9",
|
||||||
"fb354752eb69403ad503c8e53da67da6483776d6",
|
"fb354752eb69403ad503c8e53da67da6483776d6",
|
||||||
"d3f7abdb7c109517e6a71daed8bae63ad6436afc"
|
"d3f7abdb7c109517e6a71daed8bae63ad6436afc",
|
||||||
|
"08ab8cc47d8722bf0c767990cd615cf1c427d006",
|
||||||
|
"dd21ea0ae0559f148d3ff5b1a1937f9d7e0e1138",
|
||||||
|
"9549fff786475bdcd6ab1d8ac8db1c8618c19f6f",
|
||||||
|
"96e0689204d375e23bf69d7787a18ba07182f085"
|
||||||
]
|
]
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue