jenkins: use correct name for jdk

This commit is contained in:
Paul Campbell 2018-06-30 12:21:26 +01:00
parent 05f7e938f6
commit d4b5f78e23

View file

@ -18,7 +18,7 @@ pipeline {
} }
stage('Install') { stage('Install') {
steps { steps {
withMaven(maven: 'maven', jdk: 'JDK 8') { withMaven(maven: 'maven', jdk: 'JDK 1.8') {
sh "${mvn} -DskipTests install" sh "${mvn} -DskipTests install"
} }
} }
@ -30,7 +30,7 @@ pipeline {
} }
} }
steps { steps {
withMaven(maven: 'maven', jdk: 'JDK 8') { withMaven(maven: 'maven', jdk: 'JDK 1.8') {
sh "${mvn} --activate-profiles release deploy" sh "${mvn} --activate-profiles release deploy"
} }
} }