diff --git a/Jenkinsfile b/Jenkinsfile index 60545af..8f76df7 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -12,6 +12,25 @@ pipeline { } stages { + stage('Build test libraries') { + steps { + catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { + sh 'make libstest.so libtest.a' + } + } + } + stage('Build Chibi libraries') { + agent { + dockerfile { + filename 'dockerfiles/build-chibi' + } + } + steps { + catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { + sh 'make cbibi' + } + } + } stage('chibi script') { steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {