Remaking the Jenkinsfile
This commit is contained in:
parent
3b65f84d0f
commit
ad632272d0
|
|
@ -8,20 +8,8 @@ pipeline {
|
||||||
|
|
||||||
stages {
|
stages {
|
||||||
stage('Chibi primitives') {
|
stage('Chibi primitives') {
|
||||||
agent {
|
agent { dockerfile { filename 'Dockerfile.test', additionalBuildArgs '--build-arg COMPILE_R7RS=chibi' } }
|
||||||
dockerfile {
|
steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh 'make test-compile-r7rs COMPILE_R7RS=chibi TESTNAME=primitives' } }
|
||||||
filename 'Dockerfile.test'
|
|
||||||
additionalBuildArgs '--build-arg COMPILE_R7RS=chibi'
|
|
||||||
}
|
|
||||||
}
|
|
||||||
environment {
|
|
||||||
COMPILE_R7RS = "chibi"
|
|
||||||
}
|
|
||||||
steps {
|
|
||||||
catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
|
|
||||||
sh 'make test-compile-r7rs COMPILE_R7RS=chibi TESTNAME=primitives'
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue