diff --git a/Jenkinsfile b/Jenkinsfile index 2b67f7d..644fbeb 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -27,14 +27,14 @@ pipeline { versionText += it.trim(); } echo versionText - def matcher = versionText =~ /version=(.*)(-[A-z]*)?/ - echo matcher.group() - if (matcher) { - env.VERSION = matcher[0][1] - println "Extracted VERSION: ${env.VERSION}" - } else { - error "Failed to extract version from ${versionFile}" + def matcher = versionText =~ /^version=((\d+\.)*\d+)(?:-([A-Za-z]+))?$/ + + if (!matcher.matches()) { + error "Invalid version format: ${versionText}" } + + env.VERSION = matcher[0][1] + echo "Extracted VERSION: ${env.VERSION}" } } }