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'