# HG changeset patch
# User Roland Schatz <roland.schatz@oracle.com>
# Date 1366189343 -7200
# Node ID bc5c5336008bb3f694fda2e11a1da85bb78748f9
# Parent  ff622b1b2c94ded22634b7e2b24b43ff951d929b
Add gate test to check build-graal.xml is up to date.

diff -r ff622b1b2c94 -r bc5c5336008b mx/commands.py
--- a/mx/commands.py	Wed Apr 17 10:13:53 2013 +0200
+++ b/mx/commands.py	Wed Apr 17 11:02:23 2013 +0200
@@ -519,7 +519,7 @@
 
     out.close('project')
     
-    mx.update_file(args.buildfile, out.xml(indent='  ', newl='\n'))
+    return mx.update_file(args.buildfile, out.xml(indent='  ', newl='\n'))
 
 def buildvars(args):
     """Describes the variables that can be set by the -D option to the 'mx build' commmand"""
@@ -963,6 +963,12 @@
         t = Task('BuildJava')
         build(['--no-native', '--jdt-warning-as-error'])
         tasks.append(t.stop())
+
+        t = Task('Check build-graal.xml')
+        mx.log(time.strftime('%d %b %Y %H:%M:%S - Ensuring make/build-graal.xml file is up to date...'))
+        if initantbuild([]):
+            t.abort('Rerun "mx build" and check-in the modified make/build-graal.xml file.')
+        tasks.append(t.stop())
         
         t = Task('Checkstyle')
         if mx.checkstyle([]) != 0: