diff --git a/Jenkinsfile b/Jenkinsfile index bfa7faebd..160bd5ec9 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -2,9 +2,9 @@ pipeline { //environment { //} - //tools { - // maven 'Maven 3.5.0' - //} + tools { + maven 'Maven 3.5.0' + } agent none