Changeset 10415 in josm for trunk/tools/checkstyle/josm_checks.xml

Timestamp:

2016-06-18T14:22:04+02:00 (8 years ago)

Author:

Don-vip

Message:

make checkstyle SuppressionFilter optional to ease reuse of config file for plugins

File:

• trunk/tools/checkstyle/josm_checks.xml (modified) (1 diff)

trunk/tools/checkstyle/josm_checks.xml

@@ -115 +115 @@
   <module name="SuppressionFilter">
     <property name="file" value="${basedir}/tools/checkstyle/josm_filters.xml" default="tools/checkstyle/josm_filters.xml"/>
+    <property name="optional" value="true"/>
   </module>
 </module>