diff -r a78e5d399599 -r 09bf3b73e446 src/Pure/System/build.scala
--- a/src/Pure/System/build.scala	Thu Jul 19 14:24:40 2012 +0200
+++ b/src/Pure/System/build.scala	Thu Jul 19 15:45:59 2012 +0200
@@ -26,7 +26,7 @@
       object Ordering extends scala.math.Ordering[Key]
       {
         def compare(key1: Key, key2: Key): Int =
-          key2.order compare key1.order match {
+          key1.order compare key2.order match {
             case 0 => key1.name compare key2.name
             case ord => ord
           }