--- 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 =