And fix @{argLine} syntax for non-Jacoco builds

2025-02-02 05:41:08 -08:00 · 2016-09-04 22:41:08 +01:00 · 2016-09-04 22:41:08 +01:00 · 5451f71722
parent 343ddc7a98
commit 5451f71722
1 changed files with 4 additions and 0 deletions
--- 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>