--- a/src/Pure/Admin/build_history.scala Tue Jan 24 15:53:13 2023 +0100
+++ b/src/Pure/Admin/build_history.scala Tue Jan 24 16:08:28 2023 +0100
@@ -245,11 +245,10 @@
val build_start = Date.now()
val build_args1 = List("-v", "-j" + processes) ::: afp_build_args ::: build_args
- val build_isabelle =
+ val build_result =
Other_Isabelle(root, isabelle_identifier = isabelle_identifier,
user_home = user_home, progress = build_out_progress)
- val build_result =
- build_isabelle.bash("bin/isabelle build " + Bash.strings(build_args1 ::: afp_sessions),
+ .bash("bin/isabelle build " + Bash.strings(build_args1 ::: afp_sessions),
redirect = true, echo = true, strict = false)
val build_end = Date.now()