tools/checkstyle.xml
changeset 580 67d1680588db
parent 578 1536b3881809
child 677 b8d5e0378bcb
--- a/tools/checkstyle.xml	Tue Dec 15 21:12:51 2009 +0100
+++ b/tools/checkstyle.xml	Wed Dec 16 00:54:42 2009 +0100
@@ -87,7 +87,7 @@
 
     <!-- Header file -->
     <module name="RegexpHeader">
-	<property name="headerFile" value="JavaHeaderCheck.regex"/>
+	<property name="headerFile" value="tools/JavaHeaderCheck.regex"/>
 	<property name="multiLines" value="5, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38"/>
 	<property name="severity" value="error" />
     </module>