diff --git a/Jenkinsfile b/Jenkinsfile index d893a04f82aebef0d3d4f188b324681a6749a045..a54ce4c85584ac9d4af3f6bf98872b9516a588c0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -47,7 +47,7 @@ pipeline { } } - if( !(rootVersion == serverVersion && rootVersion == interfaceVersion && rootVersion == mailVersion)){ + if( !(rootVersion == userManagerVersion && rootVersion == interfaceVersion )){ error("Versionen sind nicht identisch") } }