From 8c245d126c91d3329fafb6f9f150709071d85d90 Mon Sep 17 00:00:00 2001
From: Benjamin Stein <ben@liatrio.com>
Date: Mon, 8 May 2017 14:39:14 -0700
Subject: [PATCH] remove tool

---
 Jenkinsfile | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index cdbbae44c..51b808c5a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -5,9 +5,6 @@ pipeline {
             label 'my-defined-label'
             args  '-v /tmp:/tmp'
         }
-    tools {
-        maven 'Maven'
-    }
     stages {
         stage ('Build') {
             steps {