Update .ci/jenkins/Jenkinsfile.deploy

apache · Aug 16, 2023 · 9be60e7 · 9be60e7
1 parent 368a449
commit 9be60e7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.ci/jenkins/Jenkinsfile.deploy b/.ci/jenkins/Jenkinsfile.deploy
@@ -299,7 +299,7 @@ MavenCommand getMavenCommand(String directory = '') {
 
 void runMavenDeploy(boolean localDeployment = false) {
     mvnCmd = getMavenCommand()
-                .withOptions(env.DROOLS_BUILD_MVN_OPTS ? [ env.DROOLS_BUILD_MVN_OPTS ] : [])
+                .withOptions(env.KOGITO_RUNTIMES_BUILD_MVN_OPTS ? [ env.KOGITO_RUNTIMES_BUILD_MVN_OPTS ] : [])
                 .withOptions(env.BUILD_MVN_OPTS_CURRENT ? [ env.BUILD_MVN_OPTS_CURRENT ] : [])
 
     if (localDeployment) {