Changeset 18322 in josm for trunk/build.xml
- Timestamp:
- 2021-11-11T13:45:51+01:00 (4 years ago)
- File:
-
- 1 edited
-
trunk/build.xml (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/build.xml
r18309 r18322 458 458 <jvmarg value="-Dfile.encoding=UTF-8"/> 459 459 <jvmarg value="-Djava.locale.providers=SPI,JRE,CLDR" if:set="isJava9" /> 460 <jvmarg value="-Djava.security.manager=allow" if:set="isJava17" /> 460 461 <jvmarg value="-javaagent:${test.dir}/lib/jmockit.jar"/> 461 462 <jvmarg value="-Djunit.jupiter.extensions.autodetection.enabled=true"/>
Note:
See TracChangeset
for help on using the changeset viewer.
