Changeset 19501 in josm for trunk/build.xml


Ignore:
Timestamp:
2026-02-10T22:49:15+01:00 (6 days ago)
Author:
stoecker
Message:

use older jmockit for Java 11, as 1.50 is Java17 only

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/build.xml

    r19499 r19501  
    108108        <!-- <condition property="isJava23"><matches string="${ant.java.version}" pattern="2[3-9]|[3-9][0-9]" /></condition> -->
    109109        <condition property="isJava24"><matches string="${ant.java.version}" pattern="2[4-9]|[3-9][0-9]" /></condition>
     110        <!-- <condition property="isJava25"><matches string="${ant.java.version}" pattern="2[5-9]|[3-9][0-9]" /></condition> -->
     111        <!-- <condition property="isJava26"><matches string="${ant.java.version}" pattern="2[6-9]|[3-9][0-9]" /></condition> -->
    110112        <!-- Disable jacoco on Java 19+, see https://github.com/jacoco/jacoco/pull/1282 -->
    111113        <condition property="coverageByDefault">
    … …  
    113115                <isset property="isJava19"/>
    114116            </not>
     117        </condition>
     118        <condition property="versions.jmockit" value="1.50" else="1.49.a">
     119            <isset property="isJava17"/>
    115120        </condition>
    116121        <property name="java.library.dir" value="jmods" />
Note: See TracChangeset for help on using the changeset viewer.