From fe0311ae907bd7097cd3ccc976cddbfc2f8c44b7 Mon Sep 17 00:00:00 2001 From: bill-becker Date: Mon, 4 Mar 2024 15:09:32 -0700 Subject: [PATCH] Update licenseserver path for Jenkins deploy --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index cd8442d71..38e192d36 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -74,10 +74,10 @@ pipeline { stages { stage("solver setup") { steps { - dir("julia_src/xpress/licenseserver") { + dir("julia_src/licenseserver") { git url: env.LICENSESERVER_URL } - sh "cp julia_src/xpress/licenseserver/Dockerfile.xpress julia_src/" + sh "cp julia_src/licenseserver/Dockerfile.xpress julia_src/" } }