pmret/papermario
1
0
Fork 0
mirror of https://github.com/pmret/papermario.git synced 2024-11-08 12:02:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

Attempt to fix Jenkinsfile (#425)

Browse Source
This commit is contained in:
Ethan Roseman 2021-09-22 20:40:16 +09:00 committed by GitHub
parent db578d9788
commit 5311ed1a44
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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

@ -15,7 +15,7 @@ pipeline {
}
stage('Build') {
steps {
sh 'ninja 2>&1 | tee build_log.txt'
sh "bash -o pipefail -c 'ninja 2>&1 | tee build_log.txt'"
}
}
stage("Comment") {