mirror of
https://github.com/pmret/papermario.git
synced 2024-11-08 12:02:30 +01:00
teach Jenkins how to be a ninja
This commit is contained in:
parent
39f48335ff
commit
cefae80da9
6
Jenkinsfile
vendored
6
Jenkinsfile
vendored
@ -4,14 +4,12 @@ pipeline {
|
||||
stages {
|
||||
stage('Setup') {
|
||||
steps {
|
||||
sh 'cp /usr/local/etc/roms/baserom_pm.z64 baserom.z64'
|
||||
sh 'make setup'
|
||||
sh './configure.py --baserom /usr/local/etc/roms/baserom_pm.z64'
|
||||
}
|
||||
}
|
||||
stage('Build') {
|
||||
steps {
|
||||
echo 'Building...'
|
||||
sh 'make -j'
|
||||
sh 'ninja'
|
||||
}
|
||||
}
|
||||
stage('Report Progress') {
|
||||
|
Loading…
Reference in New Issue
Block a user