From 5451f71722afbad2f8690a68b1f7aa170bf07155 Mon Sep 17 00:00:00 2001
From: Sean Owen <srowen@gmail.com>
Date: Sun, 4 Sep 2016 22:41:08 +0100
Subject: [PATCH] And fix @{argLine} syntax for non-Jacoco builds

---
 pom.xml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pom.xml b/pom.xml
index e7d79848c..1a9f49de0 100644
--- a/pom.xml
+++ b/pom.xml
@@ -800,6 +800,10 @@
     </profile>
     <profile>
       <id>travis</id>
+      <properties>
+        <!-- dummy to make @{argLine} evaluate when not set by jacoco -->
+        <argLine/>
+      </properties>
       <build>
         <plugins>
           <plugin>