changeset 64138 | cf0c8c5782af |
parent 64121 | f2c8f6b11dcf |
child 64139 | 387c811cad6a |
--- a/src/Pure/Tools/build_history.scala Tue Oct 11 09:32:56 2016 +0200 +++ b/src/Pure/Tools/build_history.scala Tue Oct 11 09:37:59 2016 +0200 @@ -217,7 +217,7 @@ /* main */ val build_history_date = Date.now() - val build_host = Library.trim_line(Isabelle_System.bash("hostname").check.out) + val build_host = Isabelle_System.bash("hostname").check.out var first_build = true for (threads <- threads_list) yield