[eclipse/xtext#1812] Change display name computation

Synched file with implementation from xtext-eclipse

Signed-off-by: Karsten Thoms <karsten.thoms@karakun.com>
This commit is contained in:
Karsten Thoms 2020-08-17 10:56:15 +02:00
parent 752afe3711
commit 58d33491fd

8
Jenkinsfile vendored
View file

@ -40,7 +40,7 @@ pipeline {
checkout scm
script {
currentBuild.displayName = String.format("#%s(%s)", BUILD_NUMBER, javaVersion(JDK_VERSION))
currentBuild.displayName = String.format("#%s(JDK%s)", BUILD_NUMBER, javaVersion())
}
}
}
@ -112,6 +112,8 @@ pipeline {
}
}
def javaVersion(String version) {
return version.replaceAll(".*-(jdk\\d+).*", "\$1")
/** return the Java version as Integer (8, 11, ...) */
def javaVersion() {
return Integer.parseInt(params.JDK_VERSION.replaceAll(".*-jdk(\\d+).*", "\$1"))
}