jenkins: use mvn with options

2018-03-03 12:41:28 +00:00 · 2018-03-03 12:41:28 +00:00 · b221695272
commit b221695272
parent 45c07bab81
1 changed files with 1 additions and 1 deletions
--- a/Jenkinsfile.groovy
+++ b/Jenkinsfile.groovy
@ -23,7 +23,7 @@ pipeline {
                stage('Java 8') {
                    steps {
                        withMaven(maven: 'maven 3.5.2', jdk: 'JDK 1.8') {
-                            sh 'mvn clean install'
+                            sh "${mvn} clean install"
                        }
                    }
                }