Changeset 12801 in josm for trunk/build.xml


Ignore:
Timestamp:
2017-09-09T15:02:42+02:00 (7 years ago)
Author:
Don-vip
Message:

FindBugs is dead. Long live SpotBugs!

Location:
trunk
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk

    • Property svn:ignore
      •  

        old new  
        44build
        55plugin-check
        6 findbugs-josm.xml
         6*-josm.xml
        77javadoc
        8 checkstyle-josm.xml
        98taginfo_*.json
        109taginfo-img
         
        1211junit*.properties
        1312foobar
        14 pmd-josm.xml
        1513imagery_*
         14validator-*
  • trunk/build.xml

    r12715 r12801  
    4848            <pathelement path="${dist.jar}"/>
    4949            <pathelement path="${groovy.jar}"/>
    50             <pathelement path="tools/findbugs/annotations.jar"/>
     50            <pathelement path="tools/spotbugs/spotbugs-annotations.jar"/>
    5151        </path>
    5252        <path id="pmd.classpath">
     
    714714        <sequential>
    715715            <echo message="Generating Taginfo for type @{type} to @{output}"/>
    716             <groovy src="${taginfoextract}" classpath="${dist.jar}:tools/findbugs/annotations.jar">
     716            <groovy src="${taginfoextract}" classpath="${dist.jar}:tools/spotbugs/spotbugs-annotations.jar">
    717717                <arg value="-t"/>
    718718                <arg value="@{type}"/>
     
    790790    </target>
    791791
    792     <target name="findbugs" depends="dist">
    793         <taskdef name="findbugs" classname="edu.umd.cs.findbugs.anttask.FindBugsTask" classpath="tools/findbugs/findbugs-ant.jar"/>
    794         <path id="findbugs-classpath">
    795             <fileset dir="${base.dir}/tools/findbugs/">
     792    <target name="spotbugs" depends="dist">
     793        <taskdef name="spotbugs" classname="edu.umd.cs.findbugs.anttask.FindBugsTask" classpath="tools/spotbugs/spotbugs-ant.jar"/>
     794        <path id="spotbugs-classpath">
     795            <fileset dir="${base.dir}/tools/spotbugs/">
    796796                <include name="*.jar"/>
    797797            </fileset>
    798798        </path>
    799         <property name="findbugs-classpath" refid="findbugs-classpath"/>
    800         <findbugs output="xml"
    801                 outputFile="findbugs-josm.xml"
    802                 classpath="${findbugs-classpath}"
     799        <property name="spotbugs-classpath" refid="spotbugs-classpath"/>
     800        <spotbugs output="xml"
     801                outputFile="spotbugs-josm.xml"
     802                classpath="${spotbugs-classpath}"
    803803                pluginList=""
    804                 excludeFilter="tools/findbugs/josm-filter.xml"
     804                excludeFilter="tools/spotbugs/josm-filter.xml"
    805805                effort="max"
    806806                reportLevel="low"
     
    808808            <sourcePath path="${base.dir}/src" />
    809809            <class location="${dist.jar}" />
    810         </findbugs>
     810        </spotbugs>
    811811    </target>
    812812
Note: See TracChangeset for help on using the changeset viewer.