From c822d52b3e11d22fe9d7d89c02f25a40ba0acaee Mon Sep 17 00:00:00 2001
From: Paul Campbell <pcampbell@kemitix.net>
Date: Mon, 14 May 2018 18:55:26 +0100
Subject: [PATCH] jenkins: add Java 10 stage

---
 Jenkinsfile.groovy | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/Jenkinsfile.groovy b/Jenkinsfile.groovy
index fc77851..9e772ad 100644
--- a/Jenkinsfile.groovy
+++ b/Jenkinsfile.groovy
@@ -72,5 +72,12 @@ pipeline {
                 }
             }
         }
+        stage('Build Java 10') {
+            steps {
+                withMaven(maven: 'maven', jdk: 'JDK 10') {
+                    sh "${mvn} clean verify -Djava.version=10"
+                }
+            }
+        }
     }
 }