# HG changeset patch
# User wenzelm
# Date 1476171667 -7200
# Node ID 387c811cad6a5d052990232f0592561612a15bff
# Parent  cf0c8c5782aff2c41c7ed1b8e1f1af7cc733cd0c
tuned signature;

diff -r cf0c8c5782af -r 387c811cad6a src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Tue Oct 11 09:37:59 2016 +0200
+++ b/src/Pure/System/isabelle_system.scala	Tue Oct 11 09:41:07 2016 +0200
@@ -309,6 +309,8 @@
       result(progress_stdout, progress_stderr, progress_limit, strict)
   }
 
+  def hostname(): String = bash("hostname").check.out
+
   def open(arg: String): Unit =
     bash("exec \"$ISABELLE_OPEN\" " + File.bash_string(arg) + " >/dev/null 2>/dev/null &")
 
diff -r cf0c8c5782af -r 387c811cad6a src/Pure/Tools/build_history.scala
--- a/src/Pure/Tools/build_history.scala	Tue Oct 11 09:37:59 2016 +0200
+++ b/src/Pure/Tools/build_history.scala	Tue Oct 11 09:41:07 2016 +0200
@@ -217,7 +217,7 @@
     /* main */
 
     val build_history_date = Date.now()
-    val build_host = Isabelle_System.bash("hostname").check.out
+    val build_host = Isabelle_System.hostname()
 
     var first_build = true
     for (threads <- threads_list) yield