Richard Kuo / Mbed OS NTOUEE-mbed-Client

This is a simple mbed client example demonstrating, registration of a device with mbed Device Connector and reading and writing values as well as deregistering on different Network Interfaces including Ethernet, WiFi, 6LoWPAN ND and Thread respectively.

Fork of mbed-os-example-client by mbed-os-examples

Diff: Jenkinsfile

Revision:
36:bfb6816a677c
Parent:
27:3d32587bf8f7
Child:
40:c2fa339bdacc
diff -r d681e90e7085 -r bfb6816a677c Jenkinsfile
--- a/Jenkinsfile	Fri Nov 25 09:15:10 2016 +0000
+++ b/Jenkinsfile	Tue Nov 29 12:30:11 2016 +0000
@@ -1,3 +1,16 @@
+properties ([[$class: 'ParametersDefinitionProperty', parameterDefinitions: [
+  [$class: 'StringParameterDefinition', name: 'mbed_os_revision', defaultValue: 'latest', description: 'Revision of mbed-os to build']
+  ]]])
+
+try {
+  echo "Verifying build with mbed-os version ${mbed_os_revision}"
+  env.MBED_OS_REVISION = "${mbed_os_revision}"
+} catch (err) {
+  def mbed_os_revision = "latest"
+  echo "Verifying build with mbed-os version ${mbed_os_revision}"
+  env.MBED_OS_REVISION = "${mbed_os_revision}"
+}
+
 // List of targets to compile
 def targets = [
   "K64F",
@@ -82,16 +95,16 @@
 
           // Copy security.h to build
           mbed.getSecurityFile()
-  
+
+          // Set mbed-os to revision received as parameter
           execute ("mbed deploy --protocol ssh")
-
           dir("mbed-os") {
-            execute ("git fetch origin latest")
-            execute ("git checkout FETCH_HEAD")
+            execute ("git checkout ${env.MBED_OS_REVISION}")
           }
           execute ("mbed compile --build out/${target}_${toolchain}_${configName}_${connectiontype}/ -m ${target} -t ${toolchain} -c")
         }
         archive '**/mbed-os-example-client.bin'
+        step([$class: 'WsCleanup'])
       }
     }
   }