diff options
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 41 |
1 files changed, 34 insertions, 7 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index b483ac3..9a99f2d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -2,18 +2,45 @@ pipeline { agent { label 'c++20' } stages { - stage('Build') { + stage('Clean') { steps { - echo 'Building...' - sh 'rm -Rf build' + echo 'Cleaning workspace ...' + sh 'rm -Rf build build-gcc build-clang' + } + } + stage('Build-gcc') { + steps { + echo 'Building (gcc) ...' sh './bootstrap.sh' } } - stage('Test') { + stage('Test-gcc') { + steps { + echo 'Testing (gcc) ...' + sh './ctor check' + } + post { + always { + sh 'mv build build-gcc' + } + } + } + stage('Build-clang') { + steps { + echo 'Building (clang) ...' + sh 'CXX=clang++ ./bootstrap.sh' + } + } + stage('Test-clang') { steps { - echo 'Testing...' + echo 'Testing (clang) ...' sh './ctor check' } + post { + always { + sh 'mv build build-clang' + } + } } } @@ -21,7 +48,7 @@ pipeline { always { xunit(thresholds: [ skipped(failureThreshold: '0'), failed(failureThreshold: '0') ], - tools: [ CppUnit(pattern: 'build/test/*.xml') ]) + tools: [ CppUnit(pattern: 'build-*/test/*.xml') ]) } } -}
\ No newline at end of file +} |