Add JDK 11 to Jenkins

jzheaux · jzheaux · commit d99ecc2a7b39 · 2018-10-26T07:38:55.000-06:00
Fixes: gh-5860
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -81,6 +81,21 @@ try {
 				}
 			}
 		}
+	},
+	jdk11: {
+		stage('JDK 11') {
+			node {
+				checkout scm
+				try {
+					withEnv(["JAVA_HOME=${ tool 'jdk11' }"]) {
+						sh "./gradlew clean test --refresh-dependencies --no-daemon --stacktrace"
+					}
+				} catch(Exception e) {
+					currentBuild.result = 'FAILED: jdk11'
+					throw e
+				}
+			}
+		}
 	}
 
 	if(currentBuild.result == 'SUCCESS') {

Original file line number	Diff line number	Diff line change
`@@ -81,6 +81,21 @@ try {`
`81`	`81`	`}`
`82`	`82`	`}`
`83`	`83`	`}`
	`84`	`+ },`
	`85`	`+ jdk11: {`
	`86`	`+ stage('JDK 11') {`
	`87`	`+ node {`
	`88`	`+ checkout scm`
	`89`	`+ try {`
	`90`	`+ withEnv(["JAVA_HOME=${ tool 'jdk11' }"]) {`
	`91`	`+ sh "./gradlew clean test --refresh-dependencies --no-daemon --stacktrace"`
	`92`	`+ }`
	`93`	`+ } catch(Exception e) {`
	`94`	`+ currentBuild.result = 'FAILED: jdk11'`
	`95`	`+ throw e`
	`96`	`+ }`
	`97`	`+ }`
	`98`	`+ }`
`84`	`99`	`}`
`85`	`100`
`86`	`101`	`if(currentBuild.result == 'SUCCESS') {`