# HG changeset patch
# User wenzelm
# Date 1510412462 -3600
# Node ID 6c94f749410a2e5e732d314f96b35b3ac4c179a9
# Parent  3d81a1a6730280380be4f7fa1f4728d82f8ec426
tuned signature;

diff -r 3d81a1a67302 -r 6c94f749410a src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Sat Nov 11 15:52:07 2017 +0100
+++ b/src/Pure/Admin/build_history.scala	Sat Nov 11 16:01:02 2017 +0100
@@ -170,7 +170,8 @@
 
     /* main */
 
-    val other_isabelle = new Other_Isabelle(progress, root, isabelle_identifier)
+    val other_isabelle =
+      Other_Isabelle(root, isabelle_identifier = isabelle_identifier, progress = progress)
 
     val build_host = Isabelle_System.hostname()
     val build_history_date = Date.now()
@@ -226,9 +227,10 @@
       val build_start = Date.now()
       val build_args1 = List("-v", "-j" + processes) ::: afp_build_args ::: build_args
       val build_result =
-        (new Other_Isabelle(build_out_progress, root, isabelle_identifier))(
-          "build " + Bash.strings(build_args1 ::: afp_sessions), redirect = true, echo = true,
-          strict = false)
+        Other_Isabelle(root, isabelle_identifier = isabelle_identifier,
+          progress = build_out_progress)(
+            "build " + Bash.strings(build_args1 ::: afp_sessions), redirect = true, echo = true,
+            strict = false)
       val build_end = Date.now()
 
       val build_info: Build_Log.Build_Info =
diff -r 3d81a1a67302 -r 6c94f749410a src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Sat Nov 11 15:52:07 2017 +0100
+++ b/src/Pure/Admin/build_release.scala	Sat Nov 11 16:01:02 2017 +0100
@@ -163,7 +163,8 @@
             execute_tar("xzf " + File.bash_path(bundle))
 
             val other_isabelle =
-              new Other_Isabelle(progress, tmp_dir + Path.explode(name), name + "-build")
+              Other_Isabelle(tmp_dir + Path.explode(name),
+                isabelle_identifier = name + "-build", progress = progress)
 
             other_isabelle.bash("bin/isabelle build" + jobs_option +
                 " -o browser_info -o document=pdf -o document_variants=document:outline=/proof,/ML" +
diff -r 3d81a1a67302 -r 6c94f749410a src/Pure/Admin/other_isabelle.scala
--- a/src/Pure/Admin/other_isabelle.scala	Sat Nov 11 15:52:07 2017 +0100
+++ b/src/Pure/Admin/other_isabelle.scala	Sat Nov 11 16:01:02 2017 +0100
@@ -7,7 +7,18 @@
 package isabelle
 
 
-class Other_Isabelle(progress: Progress, val isabelle_home: Path, val isabelle_identifier: String)
+object Other_Isabelle
+{
+  def apply(isabelle_home: Path,
+      isabelle_identifier: String,
+      progress: Progress = No_Progress): Other_Isabelle =
+    new Other_Isabelle(isabelle_home, isabelle_identifier, progress)
+}
+
+class Other_Isabelle(
+  val isabelle_home: Path,
+  val isabelle_identifier: String,
+  progress: Progress)
 {
   other_isabelle =>