From 9be60e73852cd12b1568b0dc626707fc1fd7f7bd Mon Sep 17 00:00:00 2001 From: Tristan Radisson Date: Wed, 16 Aug 2023 15:37:51 +0200 Subject: [PATCH] Update .ci/jenkins/Jenkinsfile.deploy --- .ci/jenkins/Jenkinsfile.deploy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.ci/jenkins/Jenkinsfile.deploy b/.ci/jenkins/Jenkinsfile.deploy index 56dc3be8236..784e43dd8a5 100644 --- 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) {