diff --git a/Jenkinsfile b/Jenkinsfile index 5eacf30..2af9cd0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -30,7 +30,7 @@ pipeline { args '--user=root' } } - stage('init) { + stage('init') { steps { sh "apt-get update && apt-get install -y git ca-certificates gcc make libffi-dev" sh "git clone https://github.com/ashinn/chibi-scheme.git --depth=1" @@ -39,7 +39,7 @@ pipeline { sh "snow-chibi install retropikzel.compile-r7rs" } } - stage('tap) { + stage('tap') { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh "make SCHEME=chibi LIBRARY=tap all install test" }