From 43932be6a0fbd2204f691b2d17fed8adc133df31 Mon Sep 17 00:00:00 2001 From: Christopher Jones Date: Wed, 6 Sep 2017 10:46:00 -0500 Subject: [PATCH] Re-added the maven tool. --- Jenkinsfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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