From: Timo Heister Date: Tue, 5 Dec 2023 02:20:04 +0000 (-0500) Subject: [CI] fix rebuilding on Jenkins X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=62a6b9d54e4e8a5be94f7d87527f3bf1b3bebeaa;p=candi.git [CI] fix rebuilding on Jenkins paths between 20.04 and 22.04 were being reused and causing compile errors --- diff --git a/Jenkinsfile b/Jenkinsfile index 8f8292d..5cc7876 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -55,13 +55,14 @@ pipeline cmake --version # Ubuntu 20.04 only ships cmake 3.16 not 3.17: echo 'PACKAGES="once:cmake ${PACKAGES}"' > local.cfg - ./candi.sh -j 10 -p $WORKSPACE - cp $WORKSPACE/tmp/build/deal.II-*/detailed.log detailed-ubuntu2004.log + rm -rf $WORKSPACE/install + ./candi.sh -j 10 -p $WORKSPACE/install + cp $WORKSPACE/install/tmp/build/deal.II-*/detailed.log detailed-ubuntu2004.log ''' archiveArtifacts artifacts: 'detailed-ubuntu2004.log', fingerprint: true sh '''#!/bin/bash - cd $WORKSPACE/tmp/build/deal.II-* && make test + cd $WORKSPACE/install/tmp/build/deal.II-* && make test ''' } } @@ -84,15 +85,15 @@ pipeline set -x mpicxx -v cmake --version - rm -rf $WORKSPACE/tmp/ rm -f local.cfg - ./candi.sh -j 10 -p $WORKSPACE - cp $WORKSPACE/tmp/build/deal.II-*/detailed.log detailed-ubuntu2204.log + rm -rf $WORKSPACE/install/ + ./candi.sh -j 10 -p $WORKSPACE/install + cp $WORKSPACE/install/tmp/build/deal.II-*/detailed.log detailed-ubuntu2204.log ''' archiveArtifacts artifacts: 'detailed-ubuntu2204.log', fingerprint: true sh '''#!/bin/bash - cd $WORKSPACE/tmp/build/deal.II-* && make test + cd $WORKSPACE/install/tmp/build/deal.II-* && make test ''' } }