From 8cfbbd80ed61b79cf0c0ef7c705ec6c063673ce9 Mon Sep 17 00:00:00 2001
From: Maharshi Patel <maharshi11patel@gmail.com>
Date: Sun, 10 Jan 2021 19:16:51 -0800
Subject: [PATCH] fixed type

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 567d160c5..47989c0e8 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -8,7 +8,7 @@ pipeline {
     // Definition of Jenkins job configuration
     /////////////////////////////////////////////////////////////////////
     tools {
-        maven 'M3'
+        MAVEN_TOOL 'M3'
     }
     options {
         skipStagesAfterUnstable()