From c6c91ebf56f46129ae9d7f52e6aa176c721d6fc5 Mon Sep 17 00:00:00 2001 From: Christopher Jones Date: Thu, 7 Sep 2017 11:35:27 -0500 Subject: [PATCH] Temporarily removed unneeded tool block. --- Jenkinsfile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Jenkinsfile b/Jenkinsfile index ef6699abb..931e9a697 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,9 @@ pipeline { + /* tools { maven 'Maven 3.5.0' } + */ agent any