ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

DISCO_F413ZH: delete RTOS in build_travis.py

pull/4410/head
arostm 2017-06-06 10:08:02 +02:00
parent 9a34c72bc5
commit d1aa129c02
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
tools/build_travis.py
View File

@ -232,7 +232,6 @@ linking_list = [
{"target": "DISCO_F413ZH",
"toolchains": "GCC_ARM",
"tests": {"" : ["MBED_2", "MBED_10", "MBED_11", "MBED_16"],
"rtos" : ["RTOS_1", "RTOS_2", "RTOS_3"],
}
},
{"target": "NUCLEO_F303ZE",