diff --git a/Jenkinsfile b/Jenkinsfile index eb9df70..6a9c3e6 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -23,9 +23,12 @@ pipeline { error "Version file not found: ${versionFile}" } def versionText = readFile(file: versionFile) + echo versionText def matcher = versionText =~ /version=(.*)(-[A-z]*)?/ if (matcher) { env.VERSION = matcher[0][1] + if (env.VERSION == null) + error "Failed to extract version from ${versionFile}" echo "Extracted VERSION: ${env.VERSION}" } else { error "Failed to extract version from ${versionFile}"