# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1366145731 -7200
# Node ID f0fc8329bf98308a7922b7186600543d4b542105
# Parent  50161aa21af2d1f551e5eef9e59a92b390e27609
ensure that the generated build-graal.xml is stable

diff -r 50161aa21af2 -r f0fc8329bf98 make/build-graal.xml
--- a/make/build-graal.xml	Tue Apr 16 22:46:02 2013 +0200
+++ b/make/build-graal.xml	Tue Apr 16 22:55:31 2013 +0200
@@ -75,14 +75,14 @@
   <target depends="compile" name="jar">
     <mkdir dir="${jar.dir}"/>
     <jar basedir="${classes.dir}" destfile="${jar.file}">
+      <service type="com.oracle.graal.nodes.spi.ReplacementsProvider">
+        <provider classname="com.oracle.graal.hotspot.replacements.CallSiteSubstitutions"/>
+        <provider classname="com.oracle.graal.hotspot.replacements.HotSpotInstalledCodeIntrinsics"/>
+        <provider classname="com.oracle.graal.replacements.GraalMethodSubstitutions"/>
+      </service>
       <service type="com.oracle.graal.phases.tiers.CompilerConfiguration">
         <provider classname="com.oracle.graal.compiler.phases.BasicConfiguration"/>
       </service>
-      <service type="com.oracle.graal.nodes.spi.ReplacementsProvider">
-        <provider classname="com.oracle.graal.hotspot.replacements.HotSpotInstalledCodeIntrinsics"/>
-        <provider classname="com.oracle.graal.hotspot.replacements.CallSiteSubstitutions"/>
-        <provider classname="com.oracle.graal.replacements.GraalMethodSubstitutions"/>
-      </service>
     </jar>
   </target>
   <target name="cleanclasses">
diff -r 50161aa21af2 -r f0fc8329bf98 mx/commands.py
--- a/mx/commands.py	Tue Apr 16 22:46:02 2013 +0200
+++ b/mx/commands.py	Tue Apr 16 22:55:31 2013 +0200
@@ -500,9 +500,9 @@
     out.element('mkdir', {'dir' : '${jar.dir}'})
     out.open('jar', {'destfile' : '${jar.file}', 'basedir' : '${classes.dir}'})
 
-    for service, providers in serviceMap.iteritems():
+    for service in sorted(serviceMap.iterkeys()):
         out.open('service', {'type' : service})
-        for provider in providers:
+        for provider in sorted(serviceMap[service]):
             out.element('provider', {'classname' : provider})
         out.close('service')