src/Pure/Admin/build_release.scala
changeset 67045 6c94f749410a
parent 66923 914935f8a462
child 68755 67d6f1708ea4
     1.1 --- a/src/Pure/Admin/build_release.scala	Sat Nov 11 15:52:07 2017 +0100
     1.2 +++ b/src/Pure/Admin/build_release.scala	Sat Nov 11 16:01:02 2017 +0100
     1.3 @@ -163,7 +163,8 @@
     1.4              execute_tar("xzf " + File.bash_path(bundle))
     1.5  
     1.6              val other_isabelle =
     1.7 -              new Other_Isabelle(progress, tmp_dir + Path.explode(name), name + "-build")
     1.8 +              Other_Isabelle(tmp_dir + Path.explode(name),
     1.9 +                isabelle_identifier = name + "-build", progress = progress)
    1.10  
    1.11              other_isabelle.bash("bin/isabelle build" + jobs_option +
    1.12                  " -o browser_info -o document=pdf -o document_variants=document:outline=/proof,/ML" +