Diff: Jenkinsfile

Revision:

43:fef5b8b23c60

Parent:

41:1f13c9a6ee23

Child:

48:67a909e7221b

--- a/Jenkinsfile	Wed May 29 08:01:56 2019 +0100
+++ b/Jenkinsfile	Tue Jul 23 12:05:34 2019 +0100
@@ -25,7 +25,8 @@
 def targets = [
   "MTB_MTS_DRAGONFLY",
   "UBLOX_C030_U201",
-  "MTB_ADV_WISE_1570"
+  "MTB_ADV_WISE_1570",
+  "NRF52840_DK"
 ]
 
 // Map toolchains to compilers
@@ -88,8 +89,26 @@
             execute("sed -i 's/\"platform.default-serial-baud-rate\": 115200,/\"platform.default-serial-baud-rate\": 9600,/' ${config_file}")
           }
 
-          // Set mbed-os to revision received as parameter
-          execute ("mbed deploy --protocol ssh")
+          if ("${target}" == "NRF52840_DK") {
+            //Take correct configuration from configuration store
+            execute("rm mbed_app.json")
+
+            dir("mbed-configurations-private") {
+              git url: "git@github.com:ARMmbed/mbed-configurations-private.git", branch:"master"
+            }
+
+            execute("cp mbed-configurations-private/NRF52840_DK/mbed-os-example-cellular/mbed_app.json .")
+          }
+
+          // A workaround for mbed-cli caching issues
+          try {
+            execute("mbed deploy --protocol ssh")
+          } catch (err) {
+              echo "mbed deploy failed - retrying after 10s"
+              sleep(10)
+              execute("mbed deploy --protocol ssh")
+          }
+
           if (env.MBED_OS_REVISION != '') {
             dir("mbed-os") {
               if (env.MBED_OS_REVISION.matches('pull/\\d+/head')) {
@@ -104,7 +123,7 @@
 
           execute ("mbed compile --build out/${target}_${toolchain}/ -m ${target} -t ${toolchain} -c --app-config ${config_file}")
         }
-        if ("${target}" == "MTB_ADV_WISE_1570") {
+        if ("${target}" == "MTB_ADV_WISE_1570" || "${target}" == "NRF52840_DK") {
           stash name: "${target}_${toolchain}", includes: '**/mbed-os-example-cellular.hex'
           archive '**/mbed-os-example-cellular.hex'
         }