From 50d779aa5dcb16375db5f56956084368c2617e56 Mon Sep 17 00:00:00 2001
From: Simon McVittie <smcv@collabora.com>
Date: Wed, 8 May 2019 19:47:29 +0100
Subject: [PATCH] ci: Parameterize Docker options

Signed-off-by: Simon McVittie <smcv@collabora.com>
---
 ci/Jenkinsfile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index 0d2cde0ec..7cef91e70 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -62,8 +62,12 @@ pipeline {
             env.CI_DOCKER_IMAGE = 'steamrt/sdk:scout'
           }
 
+          if (!env.CI_DOCKER_OPTIONS) {
+            env.CI_DOCKER_OPTIONS = ''
+          }
+
           docker.withRegistry("https://${env.CI_DOCKER_REGISTRY}", dockerRegistryCred) {
-            docker.image("${env.CI_DOCKER_REGISTRY}/${env.CI_DOCKER_IMAGE}").inside('--mount type=tmpfs,destination=/var/cache/apt/archives') {
+            docker.image("${env.CI_DOCKER_REGISTRY}/${env.CI_DOCKER_IMAGE}").inside("--mount type=tmpfs,destination=/var/cache/apt/archives ${env.CI_DOCKER_OPTIONS}") {
               sh '''
               set -eu
               cd src
-- 
GitLab