diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index ccec8ee27e4364ffb694b9f2a86c5116b9c5411c..39da68754cee04132e9617ef7bb09da9657cfa1f 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -71,10 +71,9 @@ pipeline { """ docker.withRegistry("https://${env.CI_DOCKER_REGISTRY}", dockerRegistryCred) { - docker.build("${env.CI_DOCKER_REGISTRY}/pressure-vessel", '-f src/ci/Dockerfile src/ci').inside("--mount type=tmpfs,destination=/var/cache/apt/archives ${env.CI_DOCKER_OPTIONS}") { + docker.build("${env.CI_DOCKER_REGISTRY}/pressure-vessel", '-f src/ci/Dockerfile src/ci').inside("${env.CI_DOCKER_OPTIONS}") { sh ''' set -eu - mkdir -p /var/cache/apt/archives/partial cd src meson --prefix="${WORKSPACE}/src/_build/relocatable-install" -Dpython=python3.5 _build ninja -C _build