From 5f7ae0e000e9de70e7294caa39b05ba178dfdb9a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= Date: Mon, 12 Oct 2020 09:44:41 +0200 Subject: [PATCH] jenkins: create parent directory if necessary --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 5db04fa33..c794eb9ae 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -10,7 +10,7 @@ pipeline { stage('Unit Tests (production environment)') { when { not { triggeredBy 'TimerTrigger' } } steps { - sh "mkdir ${env.TMPDIR}" + sh "mkdir -p ${env.TMPDIR}" sh """ python3 -m venv ${env.TMPDIR}/venv/ ${env.TMPDIR}/venv/bin/pip install tox @@ -31,7 +31,7 @@ PGPORT=`python -c 'import struct; import socket; s=socket.socket(); s.setsockopt stage('Unit Tests (full)') { when { triggeredBy 'TimerTrigger' } steps { - sh "mkdir ${env.TMPDIR}" + sh "mkdir -p ${env.TMPDIR}" sh """ virtualenv -p python3 ${env.TMPDIR}/venv/ ${env.TMPDIR}/venv/bin/pip install tox