tuned message;
authorwenzelm
Tue Jul 24 13:11:50 2012 +0200 (2012-07-24)
changeset 484738f10b1f6c992
parent 48472 6ebb6cdd36a5
child 48474 5b9d79c6323b
tuned message;
src/Pure/System/build.scala
     1.1 --- a/src/Pure/System/build.scala	Tue Jul 24 12:54:34 2012 +0200
     1.2 +++ b/src/Pure/System/build.scala	Tue Jul 24 13:11:50 2012 +0200
     1.3 @@ -474,7 +474,13 @@
     1.4        else { sleep(); loop(pending, running, results) }
     1.5      }
     1.6  
     1.7 -    (0 /: loop(queue, Map.empty, Map.empty))({ case (rc1, (_, rc2)) => rc1 max rc2 })
     1.8 +    val results = loop(queue, Map.empty, Map.empty)
     1.9 +    val rc = (0 /: results)({ case (rc1, (_, rc2)) => rc1 max rc2 })
    1.10 +    if (rc != 0) {
    1.11 +      val unfinished = (for ((name, r) <- results.iterator if r != 0) yield name).toList.sorted
    1.12 +      echo("Unfinished session(s): " + commas(unfinished))
    1.13 +    }
    1.14 +    rc
    1.15    }
    1.16  
    1.17