Changeset 14171 in josm
- Timestamp:
- 2018-08-20T00:24:00+02:00 (7 years ago)
- Location:
- trunk
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/build.xml
r14167 r14171 66 66 <matches string="${ant.java.version}" pattern="1[1-9]" /> 67 67 </condition> 68 <!-- For Java12-specific stuff --> 69 <condition property="isJava12"> 70 <matches string="${ant.java.version}" pattern="1[2-9]" /> 71 </condition> 68 72 <!-- error_prone works differently on Java 10+, see https://github.com/google/error-prone/issues/860 --> 69 73 <condition property="javac.compiler" value="modern" else="com.google.errorprone.ErrorProneAntCompilerAdapter"> 70 74 <isset property="isJava10"/> 71 75 </condition> 72 <!-- Disable jacoco on Java 1 1+, see https://github.com/jacoco/jacoco/issues/629-->76 <!-- Disable jacoco on Java 12+ --> 73 77 <condition property="coverageByDefault"> 74 78 <not> 75 <isset property="isJava1 1"/>79 <isset property="isJava12"/> 76 80 </not> 77 81 </condition>
Note:
See TracChangeset
for help on using the changeset viewer.