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

Update Jenkinsfile

pull/2384/head
Mika Karjalainen 2016-08-08 10:17:27 +03:00 committed by GitHub
parent 0da2ada5cd
commit 4e8bc3a449
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Jenkinsfile vendored
View File

@ -57,7 +57,7 @@ def morpheusBuildStep(target, compilerLabel, toolchain) {
deleteDir()
dir("mbed-os") {
checkout scm
execute ("git log -1 --no-merges --pretty=format:'%H'" > GIT_REVISION)
execute ("git log -1 --no-merges --pretty=format:'%H' > GIT_REVISION")
env.GIT_REVISION = readFile ("GIT_REVISION")
execute ("mbed deploy --protocol ssh")
execute ("mbed test --compile -m ${target} -t ${toolchain} -c")