Add JDK 10 to Jenkins

jzheaux · rwinch · commit 0a4ac4dbfc97 · 2018-10-17T15:06:14.000-05:00
Fixes: gh-5860
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -66,6 +66,21 @@ try {
 				}
 			}
 		}
+	},
+	jdk10: {
+		stage('JDK 10') {
+			node {
+				checkout scm
+				try {
+					withEnv(["JAVA_HOME=${ tool 'jdk10' }"]) {
+						sh "./gradlew clean test --refresh-dependencies --no-daemon --stacktrace"
+					}
+				} catch(Exception e) {
+					currentBuild.result = 'FAILED: jdk10'
+					throw e
+				}
+			}
+		}
 	}
 
 	if(currentBuild.result == 'SUCCESS') {

Original file line number	Diff line number	Diff line change
`@@ -66,6 +66,21 @@ try {`
`66`	`66`	`}`
`67`	`67`	`}`
`68`	`68`	`}`
	`69`	`+ },`
	`70`	`+ jdk10: {`
	`71`	`+ stage('JDK 10') {`
	`72`	`+ node {`
	`73`	`+ checkout scm`
	`74`	`+ try {`
	`75`	`+ withEnv(["JAVA_HOME=${ tool 'jdk10' }"]) {`
	`76`	`+ sh "./gradlew clean test --refresh-dependencies --no-daemon --stacktrace"`
	`77`	`+ }`
	`78`	`+ } catch(Exception e) {`
	`79`	`+ currentBuild.result = 'FAILED: jdk10'`
	`80`	`+ throw e`
	`81`	`+ }`
	`82`	`+ }`
	`83`	`+ }`
`69`	`84`	`}`
`70`	`85`
`71`	`86`	`if(currentBuild.result == 'SUCCESS') {`