src/Pure/Admin/build_history.scala
changeset 67045 6c94f749410a
parent 66913 7cdd4d59e95c
child 67047 19b6091c2137
     1.1 --- a/src/Pure/Admin/build_history.scala	Sat Nov 11 15:52:07 2017 +0100
     1.2 +++ b/src/Pure/Admin/build_history.scala	Sat Nov 11 16:01:02 2017 +0100
     1.3 @@ -170,7 +170,8 @@
     1.4  
     1.5      /* main */
     1.6  
     1.7 -    val other_isabelle = new Other_Isabelle(progress, root, isabelle_identifier)
     1.8 +    val other_isabelle =
     1.9 +      Other_Isabelle(root, isabelle_identifier = isabelle_identifier, progress = progress)
    1.10  
    1.11      val build_host = Isabelle_System.hostname()
    1.12      val build_history_date = Date.now()
    1.13 @@ -226,9 +227,10 @@
    1.14        val build_start = Date.now()
    1.15        val build_args1 = List("-v", "-j" + processes) ::: afp_build_args ::: build_args
    1.16        val build_result =
    1.17 -        (new Other_Isabelle(build_out_progress, root, isabelle_identifier))(
    1.18 -          "build " + Bash.strings(build_args1 ::: afp_sessions), redirect = true, echo = true,
    1.19 -          strict = false)
    1.20 +        Other_Isabelle(root, isabelle_identifier = isabelle_identifier,
    1.21 +          progress = build_out_progress)(
    1.22 +            "build " + Bash.strings(build_args1 ::: afp_sessions), redirect = true, echo = true,
    1.23 +            strict = false)
    1.24        val build_end = Date.now()
    1.25  
    1.26        val build_info: Build_Log.Build_Info =