From 2e94e8b498cc5ac1433d1e181dd2b3dfd1a00115 Mon Sep 17 00:00:00 2001
From: Oliver Burn <oliver@puppycrawl.com>
Date: Mon, 25 Nov 2002 00:56:24 +0000
Subject: [PATCH] Can now override the config file

---
 build.xml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 86c36a497..c0d2b5f73 100644
--- 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"