![](/media/cache/img/default_profile.jpg.50x50_q85.jpg)
e
Diff: Jenkinsfile
- Revision:
- 80:5b1786cc3ca4
- Parent:
- 77:b74ac6641a3e
- Child:
- 98:ea4e2f0eadde
--- a/Jenkinsfile Wed Sep 26 10:30:03 2018 +0100 +++ b/Jenkinsfile Wed Oct 10 14:00:03 2018 +0100 @@ -79,11 +79,6 @@ } execute("mbed new .") - if ("${radioShield}" != "internal") { - // Replace default rf shield - execute("mbed add ${radioShield}") - } - execute ("mbed compile --build out/${target}_${toolchain}_${radioShield}/ -m ${target} -t ${toolchain} -c --app-config ${config_file}") } stash name: "${target}_${toolchain}_${radioShield}", includes: '**/mbed-os-example-wifi.bin'