From 0cfc1d353aa6ba5489b39bbb69b58ef13ab271a7 Mon Sep 17 00:00:00 2001
From: Jeen Broekstra <jeen.broekstra@gmail.com>
Date: Tue, 12 Mar 2019 23:19:52 +1100
Subject: [PATCH] GH-822 check if non-empty maven.config makes a difference for
 Jenkins [WIP]

---
 .mvn/maven.config | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.mvn/maven.config b/.mvn/maven.config
index e69de29bb2d..df145f3d448 100644
--- a/.mvn/maven.config
+++ b/.mvn/maven.config
@@ -0,0 +1 @@
+-V