From d7323d215f959fb55e4d55c5cdad0cbc1fc831c8 Mon Sep 17 00:00:00 2001
From: Yaman Umuroglu <yamanu@xilinx.com>
Date: Sun, 26 Apr 2020 20:21:06 +0100
Subject: [PATCH] [Jenkins] fix default vars for Jenkins launch script
---
docker/launch-jenkins.sh | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
mode change 100644 => 100755 docker/launch-jenkins.sh
diff --git a/docker/launch-jenkins.sh b/docker/launch-jenkins.sh
old mode 100644
new mode 100755
index 0a366df65..64dc1ec73
--- a/docker/launch-jenkins.sh
+++ b/docker/launch-jenkins.sh
@@ -2,11 +2,11 @@
# defaults, can be overriden by environment variables
# user to run Jenkins as -- see NOTE below regarding Docker access permissions
-JENKINS_USER ?= jenkins
+: ${JENKINS_USER=jenkins}
# port for Jenkins on host machine
-JENKINS_PORT ?= 8080
+: ${JENKINS_PORT=8080}
# make Jenkins config persistent by mounting into this folder
-JENKINS_HOME ?= $(pwd)/jenkins_home
+: ${JENKINS_HOME=$(pwd)/jenkins_home}
mkdir -p $JENKINS_HOME
--
GitLab