# HG changeset patch
# User Tom Rodriguez <tom.rodriguez@oracle.com>
# Date 1438581304 25200
# Node ID bbf75d0e6a7d9c82dfff94ac2aa6dce6699b4149
# Parent  ee4ceec1a0dba7c2fca69dda2bba03232966b669
CheckStyle: start generated should suppress header checks too

diff -r ee4ceec1a0db -r bbf75d0e6a7d graal/com.oracle.graal.graph/.checkstyle_checks.xml
--- a/graal/com.oracle.graal.graph/.checkstyle_checks.xml	Fri Jul 31 16:23:42 2015 +0200
+++ b/graal/com.oracle.graal.graph/.checkstyle_checks.xml	Sun Aug 02 22:55:04 2015 -0700
@@ -207,6 +207,6 @@
   <module name="SuppressionCommentFilter">
     <property name="offCommentFormat" value="CheckStyle: start generated"/>
     <property name="onCommentFormat" value="CheckStyle: stop generated"/>
-    <property name="checkFormat" value=".*Name|.*LineLength"/>
+    <property name="checkFormat" value=".*Name|.*LineLength|.*Header"/>
   </module>
 </module>