Can now override the config file

2002-11-25 00:56:24 +00:00 · 2002-11-25 00:56:24 +00:00 · 2e94e8b498
parent f7705b69c6
commit 2e94e8b498
1 changed files with 2 additions and 1 deletions
--- a/build.xml
+++ b/build.xml
@ -265,7 +265,8 @@
    <delete file="target/cachefile" />

    <property name="todo.pattern" value="NOTHingWillMatCH_-"/>
-    <checkstyle config="docs/checkstyle_checks.xml"
+    <property name="check.config" location="docs/checkstyle_checks.xml"/>
+    <checkstyle config="${check.config}"
                properties="docs/checkstyle.rules">
      <fileset dir="src/checkstyle"
               includes="**/*.java"