Diff: Jenkinsfile

Revision:

82:3d9e3b7b3dcf

Parent:

77:2d8a3de185b7

Child:

92:7faf6dcb791f

diff -r afdeda18ff0c -r 3d9e3b7b3dcf Jenkinsfile
--- a/Jenkinsfile	Thu Nov 22 11:15:40 2018 +0000
+++ b/Jenkinsfile	Fri Nov 23 14:45:35 2018 +0000
@@ -1,5 +1,6 @@
 properties ([[$class: 'ParametersDefinitionProperty', parameterDefinitions: [
-  [$class: 'StringParameterDefinition', name: 'mbed_os_revision', defaultValue: '', description: 'Revision of mbed-os to build. By default mbed-os.lib is used. To access mbed-os PR use format "pull/PR number/head"']
+  [$class: 'StringParameterDefinition', name: 'mbed_os_revision', defaultValue: '', description: 'Revision of mbed-os to build. By default mbed-os.lib is used. To access mbed-os PR use format "pull/PR number/head"'],
+  [$class: 'ChoiceParameterDefinition', name: 'profile', defaultValue: "debug", choices: ["debug", "develop", "release"], description: 'Select compilation profile from list: debug, develop or release.']
   ]]])
 
 if (params.mbed_os_revision == '') {
@@ -11,6 +12,8 @@
   }
 }
 
+echo "Use build profile: ${params.profile}"
+
 // List of targets to compile
 def targets = [
   "K64F",
@@ -77,7 +80,7 @@
               }
             }
           }
-          execute("mbed compile --build out/${configurationLabel}/${target}/${toolchain}/ -m ${target} -t ${toolchain} --app-config ./configs/${configurationFile}")
+          execute("mbed compile --build out/${configurationLabel}/${target}/${toolchain}/ -m ${target} -t ${toolchain} --app-config ./configs/${configurationFile} --profile ${params.profile}")
         }
         archive '**/nanostack-border-router.bin'
       }