ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #2752 from ARMmbed/jenkinsfile 

Update Jenkinsfile
pull/2586/head
Sam Grove 2016-09-22 00:48:33 -05:00 committed by GitHub
parent 0c0455bf3f 7e6882c284
commit cc69dedac2
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
Jenkinsfile vendored
View File

@ -14,6 +14,9 @@ def toolchains = [
GCC_ARM: "arm-none-eabi-gcc"
]
// mbed.getCurrentBranch returns either local branch name or reference to pull request
def currentBranch = mbed.getCurrentBranch()
// Create a map of predefined build steps
def parallelSteps = mbed.createParalleSteps("mbed-os", targets, toolchains)
@ -25,5 +28,5 @@ def testApps = [
"mbed-client-testapp"
]
// buildTestApps accepts array of test application names and a mbed-os commit hash as parameters
mbed.buildTestApps(testApps, "${env.GIT_REVISION}")
// buildTestApps accepts array of test application names and a mbed-os branch or PR reference as parameters
mbed.buildTestApps(testApps, "${currentBranch}")