Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
prefer outdegree in comparison again (cf. 88c96e836ed6) -- NB: big jobs might hide behind small ones in this naive queuing scheme;
authorwenzelm
Wed, 20 Feb 2013 18:04:44 +0100
changeset 51229 6e40d0bb89e3
parent 51228 dff3471dd8bc
child 51230 19192615911e
prefer outdegree in comparison again (cf. 88c96e836ed6) -- NB: big jobs might hide behind small ones in this naive queuing scheme;
src/Pure/Tools/build.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/build.scala	Wed Feb 20 15:22:22 2013 +0100
+++ b/src/Pure/Tools/build.scala	Wed Feb 20 18:04:44 2013 +0100
@@ -313,9 +313,9 @@
         }
 
         def compare(name1: String, name2: String): Int =
-          compare_timing(name2, name1) match {
+          outdegree(name2) compare outdegree(name1) match {
             case 0 =>
-              outdegree(name2) compare outdegree(name1) match {
+              compare_timing(name2, name1) match {
                 case 0 =>
                   timeout(name2) compare timeout(name1) match {
                     case 0 => name1 compare name2
isabelle