diff --git a/Jenkinsfile b/Jenkinsfile index 51e5b7b52da07b9f9baad13556be91a6024472d0..407b4b9bddcf3c4f3ff7c70c7ec553399bffe404 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -398,12 +398,17 @@ pipeline { // ************************* Tests-Large ******************************* stage('Tests-Large') { agent { - docker { - image 'ogs6/gcc-gui:latest' + dockerfile { + filename 'Dockerfile.gcc.full' + dir 'scripts/docker' label 'envinf11w' - args '-v /home/jenkins/.ccache:/usr/src/.ccache' + args '-v /home/jenkins/cache:/home/jenkins/cache' + additionalBuildArgs '--pull' } } + environment { + OMP_NUM_THREADS = '1' + } steps { script { configure { }