change

jenkins-infra · Mar 28, 2024 · 04efbb3 · 04efbb3
1 parent 6a9b550
commit 04efbb3
Showing 1 changed file with 13 additions and 11 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -21,17 +21,19 @@ pipeline {
           infra.withArtifactCachingProxy() {
             def OPTS = env.MAVEN_SETTINGS ? "-s ${MAVEN_SETTINGS}" : ''
             OPTS += env.TAG_NAME ? ' -Dspotless.check.skip=true' : ''
-            sh '''
-              ./mvnw -V \
-                --no-transfer-progress \
-                ${OPTS} \
-                verify \
-                checkstyle:checkstyle \
-                spotbugs:spotbugs \
-                -Dmaven.test.failure.ignore \
-                -Dcheckstyle.failOnViolation=false \
-                -Dspotbugs.failOnError=false
-            '''
+            withEnv(["OPTS=${OPTS}"]) {
+              sh '''
+                ./mvnw -V \
+                  --no-transfer-progress \
+                  ${OPTS} \
+                  verify \
+                  checkstyle:checkstyle \
+                  spotbugs:spotbugs \
+                  -Dmaven.test.failure.ignore \
+                  -Dcheckstyle.failOnViolation=false \
+                  -Dspotbugs.failOnError=false
+              '''
+            }
           }
         }
       }