diff --git a/Jenkinsfile b/Jenkinsfile index ef69120..ec5b0fd 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -40,6 +40,7 @@ pipeline { def get_chibi_stages() { return { + script { stage('init') { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh 'apt-get update && apt-get install -y git ca-certificates gcc make libffi-dev' @@ -59,11 +60,13 @@ def get_chibi_stages() { sh 'make SCHEME=chibi LIBRARY=debug all install test' } } + } } } def get_sagittarius_stages() { return { + script { stage('init') { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh 'apt-get update && apt-get install -y git ca-certificates gcc make libffi-dev' @@ -83,6 +86,7 @@ def get_sagittarius_stages() { sh 'make SCHEME=sagittarius LIBRARY=debug all install test' } } + } } }