diff mx/commands.py @ 7552:a200d10867f1

Merge.
author Doug Simon <doug.simon@oracle.com>
date Thu, 24 Jan 2013 17:03:46 +0100
parents a8b0476270cf 29b0768b7ba6
children 3aab15f42934
line wrap: on
line diff
--- a/mx/commands.py	Thu Jan 24 16:58:53 2013 +0100
+++ b/mx/commands.py	Thu Jan 24 17:03:46 2013 +0100
@@ -778,6 +778,13 @@
         clean(cleanArgs)
         tasks.append(t.stop())
 
+        eclipse_exe = os.environ.get('ECLIPSE_EXE')
+        if eclipse_exe is not None:
+            t = Task('CodeFormatCheck')
+            if mx.eclipseformat(['-e', eclipse_exe]) != 0:
+                t.abort('Formatter modified files - run "mx eclipseformat", check in changes and repush')
+            tasks.append(t.stop())
+        
         t = Task('BuildJava')
         build(['--no-native'])
         tasks.append(t.stop())