From 8794f7d63691543bb7d680169b8d212901cfd18c Mon Sep 17 00:00:00 2001
From: Joseph <jagresta2@gmail.com>
Date: Fri, 26 Jun 2015 09:51:29 -0400
Subject: [PATCH] Changed 'mvn.bat' to 'mvn.cmd' such that the eclipse plugins
 can build on Windows with the current version of maven.

Change-Id: I10305a01392d9fe3002c451aa0b835a407fa2c81
---
 build.gradle | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.gradle b/build.gradle
index 1b525dac68..819ce447e4 100644
--- a/build.gradle
+++ b/build.gradle
@@ -43,7 +43,7 @@ task eclipsePlugins(type: Exec) {
     group = 'WPILib'
     workingDir 'eclipse-plugins'
     if (Os.isFamily(Os.FAMILY_WINDOWS)) {
-        executable 'mvn.bat'
+        executable 'mvn.cmd'
     } else {
         executable 'mvn'
     }
@@ -57,7 +57,7 @@ task cleanEclipsePlugins(type: Exec) {
     group = 'WPILib'
     workingDir 'eclipse-plugins'
     if (Os.isFamily(Os.FAMILY_WINDOWS)) {
-        executable 'mvn.bat'
+        executable 'mvn.cmd'
     } else {
         executable 'mvn'
     }