diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index faa5f5a65eea8582f889b59ef69468234bf6d944..ccec8ee27e4364ffb694b9f2a86c5116b9c5411c 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -74,6 +74,7 @@ pipeline { 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}") { 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