minor: define the new property in pom.xml and transfer it to ant run

sevntu-checkstyle · Aug 9, 2024 · 026b859 · 026b859
1 parent a0e6ec1
commit 026b859
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/sevntu-checks/config/ant-phase-verify.xml b/sevntu-checks/config/ant-phase-verify.xml
@@ -35,6 +35,7 @@
       <property key="checkstyle.importcontroltest.file" file="config/import-control-test.xml"/>
       <property key="checkstyle.suppressions.file" file="config/suppressions.xml"/>
       <property key="checkstyle.suppressions-xpath.file" file="config/suppressions.xml"/>
+      <property key="checkstyle.java.version" value="${mvn.java.version}"/>
     </checkstyle>
 
     <tstamp>

diff --git a/sevntu-checks/pom.xml b/sevntu-checks/pom.xml
@@ -271,6 +271,7 @@
                 <property name="checkstyle.non-main-files-suppressions.file" value="${checkstyle.non-main-files-suppressions.file}"/>
                 <property name="checkstyle.header" value="${checkstyle.header}"/>
                 <property name="checkstyle.regexp.header" value="${checkstyle.regexp.header}"/>
+                <property name="mvn.java.version" value="${java.version}"/>
                 <ant antfile="config/ant-phase-verify.xml"/>
               </target>
             </configuration>