diff --git a/Jenkinsfile b/Jenkinsfile index 61e58f65ee095a2d833c78448a8666358bbd4b59..0ad6e5c79f19f2c96de4eb34e9333e9d5fa86646 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -30,16 +30,26 @@ pipeline { FAILED_STAGE = env.STAGE_NAME def rootPom = readMavenPom file: 'pom.xml' def rootVersion = rootPom.version - + + def userManagerPom = readMavenPom file: 'user-manager/pom.xml' + def userManagerVersion = userManagerPom.version + + def interfacePom = readMavenPom file: 'user-manager-interface/pom.xml' + def interfaceVersion = interfacePom.version + if(env.BRANCH_NAME == 'release'){ - if ( !(rootVersion ==~ RELEASE_REGEX)) { + if ( !(rootVersion ==~ RELEASE_REGEX) || !(userManagerVersion ==~ RELEASE_REGEX) || !(interfaceVersion ==~ RELEASE_REGEX)) { error("Keine Release Version für Branch ${env.BRANCH_NAME}.") } } else { - if ( !(rootVersion ==~ SNAPSHOT_REGEX) ) { + if ( !(rootVersion ==~ SNAPSHOT_REGEX) || !(userManagerVersion ==~ RELEASE_REGEX) || !(interfaceVersion ==~ RELEASE_REGEX)) { error("Keine Snapshot Version für Branch ${env.BRANCH_NAME}.") } } + + if( !(rootVersion == serverVersion && rootVersion == interfaceVersion && rootVersion == mailVersion)){ + error("Versionen sind nicht identisch") + } } } }