Add JDK 12 to Jenkins Build

jzheaux · jzheaux · commit fc6b66fdb30e · 2019-04-12T10:29:59.000-06:00
Fixes: gh-6774
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -100,6 +100,21 @@ try {
 				}
 			}
 		}
+	},
+	jdk12: {
+		stage('JDK 12') {
+			node {
+				checkout scm
+				try {
+					withEnv(["JAVA_HOME=${ tool 'openjdk12' }"]) {
+						sh "./gradlew clean test --refresh-dependencies --no-daemon --stacktrace"
+					}
+				} catch(Exception e) {
+					currentBuild.result = 'FAILED: jdk12'
+					throw e
+				}
+			}
+		}
 	}
 
 	if(currentBuild.result == 'SUCCESS') {

Original file line number	Diff line number	Diff line change
`@@ -100,6 +100,21 @@ try {`
`100`	`100`	`}`
`101`	`101`	`}`
`102`	`102`	`}`
	`103`	`+ },`
	`104`	`+ jdk12: {`
	`105`	`+ stage('JDK 12') {`
	`106`	`+ node {`
	`107`	`+ checkout scm`
	`108`	`+ try {`
	`109`	`+ withEnv(["JAVA_HOME=${ tool 'openjdk12' }"]) {`
	`110`	`+ sh "./gradlew clean test --refresh-dependencies --no-daemon --stacktrace"`
	`111`	`+ }`
	`112`	`+ } catch(Exception e) {`
	`113`	`+ currentBuild.result = 'FAILED: jdk12'`
	`114`	`+ throw e`
	`115`	`+ }`
	`116`	`+ }`
	`117`	`+ }`
`103`	`118`	`}`
`104`	`119`
`105`	`120`	`if(currentBuild.result == 'SUCCESS') {`