Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned signature;
authorwenzelm
Tue, 11 Oct 2016 09:41:07 +0200
changeset 64139 387c811cad6a
parent 64138 cf0c8c5782af
child 64140 96d398871124
tuned signature;
src/Pure/System/isabelle_system.scala file | annotate | diff | comparison | revisions
src/Pure/Tools/build_history.scala file | annotate | diff | comparison | revisions 
--- 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 &")
 
--- 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
isabelle