Update Jenkinsfile

2020-11-06 10:53:22 +00:00
1 parent 3610ff3f17
commit 2702970ffc
@@ -3,7 +3,7 @@ def gv
 pipeline {
    agent any
    tools {
-        maven: 'my-mvn'
+        maven 'my-mvn'
    }
    stages {
        stage("init") {