From b221695272e0e31ab8c9efdf4f080fb2d4b4d2a1 Mon Sep 17 00:00:00 2001
From: Paul Campbell <pcampbell@kemitix.net>
Date: Sat, 3 Mar 2018 12:41:28 +0000
Subject: [PATCH] jenkins: use mvn with options

---
 Jenkinsfile.groovy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile.groovy b/Jenkinsfile.groovy
index 1bfbb04..2573ec4 100644
--- 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"
                         }
                     }
                 }