remove tool

This commit is contained in:
Benjamin Stein 2017-05-08 14:39:14 -07:00
parent faf1094bfe
commit 8c245d126c

3
Jenkinsfile vendored
View file

@ -5,9 +5,6 @@ pipeline {
label 'my-defined-label'
args '-v /tmp:/tmp'
}
tools {
maven 'Maven'
}
stages {
stage ('Build') {
steps {