Diff: Jenkinsfile

Revision:

54:19d02b47e598

Parent:

49:699a601deb79

Child:

59:23cc35ed9008

--- a/Jenkinsfile	Thu May 16 12:01:57 2019 +0100
+++ b/Jenkinsfile	Tue Jul 23 12:04:56 2019 +0100
@@ -86,7 +86,15 @@
         deleteDir()
         dir("mbed-os-example-lorawan") {
           checkout scm
-          execute("mbed deploy --protocol ssh")
+
+          // 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")
+          }
 
           // Set mbed-os to revision received as parameter
           if (env.MBED_OS_REVISION != '') {
@@ -143,7 +151,15 @@
         deleteDir()
         dir("mbed-os-example-lorawan") {
           checkout scm
-          execute("mbed deploy --protocol ssh")
+
+          // 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") {