Changeset 14258 in josm for trunk


Ignore:
Timestamp:
2018-09-16T10:26:39+02:00 (6 years ago)
Author:
Don-vip
Message:

see #16047 - disable Proguard on Java11+

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/build.xml

    r14256 r14258  
    610610        </jacoco:report>
    611611    </target>
    612     <target name="dist-optimized" depends="dist">
     612    <target name="dist-optimized" depends="dist" unless="isJava11">
    613613        <taskdef resource="proguard/ant/task.properties" classpath="${tools.dir}/proguard.jar"/>
    614614        <proguard>
    … …  
    675675        </exec>
    676676    </target>
    677     <target name="check-plugins" depends="dist-optimized" description="Check of plugins binary compatibility">
     677    <target name="check-plugins" depends="dist-optimized" description="Check of plugins binary compatibility" unless="isJava11">
    678678        <local name="dir"/>
    679679        <local name="plugins"/>
Note: See TracChangeset for help on using the changeset viewer.