From 17398b9f294919116343155d79f23b80cf97051b Mon Sep 17 00:00:00 2001 From: Christopher Jones Date: Thu, 7 Sep 2017 11:39:55 -0500 Subject: [PATCH] Re-added tool block since we need the tool on the path. --- Jenkinsfile | 2 -- 1 file changed, 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 931e9a697..ef6699abb 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,9 +1,7 @@ pipeline { - /* tools { maven 'Maven 3.5.0' } - */ agent any