# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1395864624 -3600
# Node ID 78343531acc7a740cb1dc7271981d3c959c89a24
# Parent  c929a4a3b6c515d042012ea61ccffe3587fd94c4
added checkheaders to the gate

diff -r c929a4a3b6c5 -r 78343531acc7 mx/mx_graal.py
--- a/mx/mx_graal.py	Wed Mar 26 21:08:00 2014 +0100
+++ b/mx/mx_graal.py	Wed Mar 26 21:10:24 2014 +0100
@@ -1149,6 +1149,11 @@
             t.abort('Checkstyle warnings were found')
         tasks.append(t.stop())
 
+        t = Task('Checkheaders')
+        if checkheaders([]) != 0:
+            t.abort('Checkheaders warnings were found')
+        tasks.append(t.stop())
+
         t = Task('FindBugs')
         if findbugs([]) != 0:
             t.abort('FindBugs warnings were found')