From 1b319fbd3c07cc5918e5d5d189b2eedf7f997ef3 Mon Sep 17 00:00:00 2001
From: Baptiste Mathus <batmat@batmat.net>
Date: Tue, 29 Jan 2019 14:30:50 +0100
Subject: [PATCH] Build both on Java 8 and Java 11

---
 Jenkinsfile | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index a229fa5..23f591f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1 +1,10 @@
-buildPlugin()
+coreJdk11Version="2.161"
+
+buildPlugin(configurations: [
+  [ platform: "linux", jdk: "8", jenkins: null ],
+  [ platform: "windows", jdk: "8", jenkins: null ],
+  [ platform: "linux", jdk: "8", jenkins: coreJdk11Version, javaLevel: "8" ],
+  [ platform: "windows", jdk: "8", jenkins: coreJdk11Version, javaLevel: "8" ],
+  [ platform: "linux", jdk: "11", jenkins: coreJdk11Version, javaLevel: "8" ],
+  [ platform: "windows", jdk: "11", jenkins: coreJdk11Version, javaLevel: "8" ]
+])