changeset 48546 | f81cf2fcd3a0 |
parent 48545 | c168bc64f2a8 |
child 48547 | b3b092d0a9fe |
--- a/src/Pure/System/build.scala Fri Jul 27 13:15:12 2012 +0200 +++ b/src/Pure/System/build.scala Fri Jul 27 13:17:12 2012 +0200 @@ -284,7 +284,7 @@ } val thy_info = new Thy_Info(new Thy_Load(preloaded)) - if (verbose) echo("Checking " + name) + if (verbose) echo("Checking " + name + " ...") val thy_deps = thy_info.dependencies(