diff mx/mx_graal_makefile.py @ 21957:555f788b964b

show diff if jvmci.make generation modifies an existing file
author Doug Simon <doug.simon@oracle.com>
date Sat, 13 Jun 2015 00:25:30 +0200
parents 3ce35131bff2
children eef888fdb8b1
line wrap: on
line diff
--- a/mx/mx_graal_makefile.py	Sat Jun 13 00:22:48 2015 +0200
+++ b/mx/mx_graal_makefile.py	Sat Jun 13 00:25:30 2015 +0200
@@ -61,7 +61,7 @@
         if opts.output == None:
             print contents
         else:
-            if mx.update_file(opts.output, contents):
+            if mx.update_file(opts.output, contents, showDiff=True):
                 return 1
     return 0