# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1434150081 -7200
# Node ID f15b1d92e34ba48b74e2a55c3423322849e57b3c
# Parent  3adf20a59771733ccd70ca6803a47cd3aba8a302
re-enabled checking that jvmci.make is in sync with suite*.py

diff -r 3adf20a59771 -r f15b1d92e34b mx/mx_graal.py
--- a/mx/mx_graal.py	Sat Jun 13 00:59:15 2015 +0200
+++ b/mx/mx_graal.py	Sat Jun 13 01:01:21 2015 +0200
@@ -1691,15 +1691,15 @@
     tasks = []
     total = Task('Gate')
     try:
+        with Task('Check jvmci.make in sync with suite.py', tasks) as t:
+            if t:
+                jvmciMake = join('make', 'jvmci.make')
+                if mx_graal_makefile.build_makefile(['-o', jvmciMake]) != 0:
+                    t.abort('Rerun "mx makefile -o ' + jvmciMake + ' and check-in the modified ' + jvmciMake)
+
         with Task('Pylint', tasks) as t:
             if t: mx.pylint([])
 
-        # with Task('Check jvmci.make in sync with suite.py', tasks) as t:
-        #     if t:
-        #         jvmciMake = join('make', 'jvmci.make')
-        #         if mx_graal_makefile.build_makefile(['-o', jvmciMake]) != 0:
-        #             t.abort('Rerun "mx makefile -o ' + jvmciMake + ' and check-in the modified ' + jvmciMake)
-
         def _clean(name='Clean'):
             with Task(name, tasks) as t:
                 if t: