# HG changeset patch
# User wenzelm
# Date 1674572908 -3600
# Node ID 2515198c55e45ae37d3ddc705cfb0ebe3795c89e
# Parent  7b65209fdfe88f9b5bc0e767de1ab2597fe55136
tuned;

diff -r 7b65209fdfe8 -r 2515198c55e4 src/Pure/Admin/build_history.scala
--- 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()