diff --git a/Jenkinsfile b/Jenkinsfile index f0f7c17..a239e47 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -30,18 +30,14 @@ pipeline { args '--user=root' } } - 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" - sh "make -j8 -C chibi-scheme" - sh "make -j8 -C chibi-scheme install" - sh "snow-chibi install retropikzel.compile-r7rs" - } - } - stage("tap") { - steps { - sh "make SCHEME=chibi LIBRARY=tap all install test" + 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" + sh "make -j8 -C chibi-scheme" + sh "make -j8 -C chibi-scheme install" + sh "snow-chibi install retropikzel.compile-r7rs" + catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { + sh "make SCHEME=chibi LIBRARY= all install test" } } }