# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1441657605 -7200
# Node ID a107ab4c301141de88778d89de7e1336e3691a85
# Parent  357e73d0091c3eef70f91ae19b53a45626bd64af
make processing of <jre>/lib/jvmci/*.properties file like other Java *.properties files in that the last definition of any propery "wins"

diff -r 357e73d0091c -r a107ab4c3011 mx.graal/mx_graal.py
--- a/mx.graal/mx_graal.py	Mon Sep 07 22:26:14 2015 +0200
+++ b/mx.graal/mx_graal.py	Mon Sep 07 22:26:45 2015 +0200
@@ -43,7 +43,7 @@
 
 class GraalJDKDeployedDist(JvmciJDKDeployedDist):
     def __init__(self):
-        JvmciJDKDeployedDist.__init__(self, 'GRAAL_HOTSPOT', compilers=['graal', 'graal-economy'])
+        JvmciJDKDeployedDist.__init__(self, 'GRAAL_HOTSPOT', compilers=['graal-economy', 'graal'])
 
     def deploy(self, jdkDir):
         JvmciJDKDeployedDist.deploy(self, jdkDir)