From 140f758609e0abadbcbda768d726359ec5a508da Mon Sep 17 00:00:00 2001
From: Paul Campbell <pcampbell@kemitix.net>
Date: Tue, 6 Mar 2018 21:38:54 +0000
Subject: [PATCH] jenkins: run java 9 with maven options

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

diff --git a/Jenkinsfile.groovy b/Jenkinsfile.groovy
index 2d9f47d..5b711b4 100644
--- a/Jenkinsfile.groovy
+++ b/Jenkinsfile.groovy
@@ -27,7 +27,7 @@ pipeline {
                 stage('Java 9') {
                     steps {
                         withMaven(maven: 'maven 3.5.2', jdk: 'JDK 9') {
-                            sh 'mvn clean install'
+                            sh "${mvn} clean install"
                         }
                     }
                 }