Changeset 19377 in josm for trunk/build.xml
- Timestamp:
- 2025-04-02T18:49:37+02:00 (7 months ago)
- File:
-
- 1 edited
-
trunk/build.xml (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/build.xml
r19375 r19377 105 105 <!-- <condition property="isJava20"><matches string="${ant.java.version}" pattern="[2-9][0-9]" /></condition> --> 106 106 <condition property="isJava21"><matches string="${ant.java.version}" pattern="2[1-9]|[3-9][0-9]" /></condition> 107 <!-- <condition property="isJava22"><matches string="${ant.java.version}" pattern="2[2-9]|[3-9][0-9]" /></condition> --> 108 <!-- <condition property="isJava23"><matches string="${ant.java.version}" pattern="2[3-9]|[3-9][0-9]" /></condition> --> 109 <condition property="isJava24"><matches string="${ant.java.version}" pattern="2[4-9]|[3-9][0-9]" /></condition> 107 110 <!-- Disable jacoco on Java 19+, see https://github.com/jacoco/jacoco/pull/1282 --> 108 111 <condition property="coverageByDefault"> … … 464 467 <jvmarg value="-Dfile.encoding=UTF-8"/> 465 468 <jvmarg value="-Djava.locale.providers=SPI,CLDR" /> 466 <jvmarg value="-Djava.security.manager=allow" if:set="isJava17" /> 469 <jvmarg value="-Djava.security.manager=allow" if:set="isJava17" unless:set="isJava24" /> 467 470 <jvmarg value="-javaagent:${test.dir}/lib/junit5-system-exit.jar" if:set="isJava17"/> 468 471 <jvmarg value="-javaagent:${test.dir}/lib/jmockit.jar"/>
Note:
See TracChangeset
for help on using the changeset viewer.
