1.1 --- a/src/Pure/System/build.scala	Tue Jul 31 16:26:12 2012 +0200
     1.2 +++ b/src/Pure/System/build.scala	Tue Jul 31 17:40:33 2012 +0200
     1.3 @@ -513,7 +513,7 @@
     1.4                (output_dir + log_gz(name)).file.delete
     1.5                File.write(output_dir + log(name), out)
     1.6                echo(name + " FAILED")
     1.7 -              echo("(see also " + log(name).file.toString + ")")
     1.8 +              echo("(see also " + (output_dir + log(name)).file.toString + ")")
     1.9                val lines = split_lines(out)
    1.10                val tail = lines.drop(lines.length - 20 max 0)
    1.11                echo("\n" + cat_lines(tail))