![](/media/cache/img/default_profile.jpg.50x50_q85.jpg)
0527
Diff: Jenkinsfile
- Revision:
- 46:9282f93cd1ce
- Parent:
- 43:45429aa163a0
- Child:
- 47:6796df310c90
diff -r e44678f8d08d -r 9282f93cd1ce Jenkinsfile --- a/Jenkinsfile Wed Nov 22 09:15:03 2017 +0000 +++ b/Jenkinsfile Wed Nov 22 11:00:03 2017 +0000 @@ -14,9 +14,9 @@ // List of targets with supported RF shields to compile def targets = [ "UBLOX_EVK_ODIN_W2": ["builtin"], - "REALTEK_RTL8195AM": ["builtin"], + // "REALTEK_RTL8195AM": ["builtin"], // Disabled because of https://github.com/ARMmbed/mbed-os/issues/5545 "K64F": ["WIFI_ESP8266"], - "NUCLEO_F401RE": ["WIFI_IDW01M1"], + "NUCLEO_F401RE": ["WIFI_IDW0XX1"], "NUCLEO_F429ZI": ["WIFI_ESP8266"] ] @@ -72,10 +72,6 @@ execute("sed -i 's/\"value\": \"internal\"/\"value\": \"${radioShield}\"/' ${config_file}") } - if ("${radioShield}" == "WIFI_IDW01M1") { - execute("rm .mbedignore") - } - // Set mbed-os to revision received as parameter execute ("mbed deploy --protocol ssh") if (params.mbed_os_revision != '') { @@ -88,7 +84,7 @@ } } } - + execute("mbed new .") 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'