Mike van Doorn / Mbed OS mbed-os-example-wifi

hoi

Diff: Jenkinsfile

Revision:
80:5b1786cc3ca4
Parent:
77:b74ac6641a3e
diff -r 0a6e54acd2d5 -r 5b1786cc3ca4 Jenkinsfile
--- a/Jenkinsfile	Wed Sep 26 10:30:03 2018 +0100
+++ b/Jenkinsfile	Wed Oct 10 14:00:03 2018 +0100
@@ -79,11 +79,6 @@
           }
           execute("mbed new .")
 
-          if ("${radioShield}" != "internal") {
-            // Replace default rf shield
-            execute("mbed add ${radioShield}")
-          }
-
           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'