diff --git a/Jenkinsfile b/Jenkinsfile index c8c2854ab..12ca32267 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,7 @@ pipeline { agent any tools { - maven 'Maven 3.3.9' + maven 'mvn 3.3.9' } stages {