changeset 64027 | 4a33d740c9dc |
parent 64026 | cbecd26e063f |
child 64030 | 04f9e1e9003a |
--- a/src/Pure/Tools/build_history.scala Mon Oct 03 21:14:21 2016 +0200 +++ b/src/Pure/Tools/build_history.scala Mon Oct 03 21:36:10 2016 +0200 @@ -29,7 +29,7 @@ build_args: List[String] = Nil): Process_Result = { hg.update(rev = rev, clean = true) - if (verbose) hg.command("log -l1").check.print + if (verbose) Output.writeln(hg.log(rev, options = "-l1")) def bash(script: String): Process_Result = Isabelle_System.bash("env ISABELLE_IDENTIFIER=" + File.bash_string(isabelle_identifier) +