![](/media/cache/img/default_profile.jpg.50x50_q85.jpg)
e
Diff: Jenkinsfile
- Revision:
- 77:b74ac6641a3e
- Parent:
- 54:b9963ccc0c2d
- Child:
- 80:5b1786cc3ca4
--- a/Jenkinsfile Tue Aug 28 11:15:03 2018 +0100 +++ b/Jenkinsfile Fri Aug 31 12:15:03 2018 +0100 @@ -13,11 +13,10 @@ // List of targets with supported RF shields to compile def targets = [ - "UBLOX_EVK_ODIN_W2": ["builtin"], - "REALTEK_RTL8195AM": ["builtin"], - "K64F": ["WIFI_ESP8266"], - "NUCLEO_F401RE": ["WIFI_IDW0XX1"], - "NUCLEO_F429ZI": ["WIFI_ESP8266"] + "UBLOX_EVK_ODIN_W2": ["internal"], + "REALTEK_RTL8195AM": ["internal"], + "K64F": ["esp8266-driver"], + "NUCLEO_F429ZI": ["esp8266-driver"] ] // Map toolchains to compilers @@ -29,9 +28,8 @@ // Supported RF shields def radioshields = [ - "builtin", - "WIFI_IDW0XX1", - "WIFI_ESP8266" + "internal", + "esp8266-driver" ] def stepsForParallel = [:] @@ -67,11 +65,6 @@ checkout scm def config_file = "mbed_app.json" - if ("${radioShield}" != "internal") { - // Replace default rf shield - execute("sed -i 's/\"value\": \"internal\"/\"value\": \"${radioShield}\"/' ${config_file}") - } - // Set mbed-os to revision received as parameter execute ("mbed deploy --protocol ssh") if (params.mbed_os_revision != '') { @@ -85,6 +78,12 @@ } } 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'