# HG changeset patch
# User wenzelm
# Date 1675288488 -3600
# Node ID 76180e429491b43c9ffc8e67ceae4ade11aa2e1a
# Parent  0f77e50eb87016ec333bf4a4ea16a8dd0aa8b071
clarified message: old-style log is usually empty;

diff -r 0f77e50eb870 -r 76180e429491 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Wed Feb 01 22:39:02 2023 +0100
+++ b/src/Pure/Tools/build.scala	Wed Feb 01 22:54:48 2023 +0100
@@ -330,7 +330,7 @@
               val tail = job.info.options.int("process_output_tail")
               process_result.copy(
                 out_lines =
-                  "(see also " + store.output_log(session_name).file.toString + ")" ::
+                  "(more details via \"isabelle log -H Error " + session_name + "\")" ::
                   (if (tail == 0) log_lines else log_lines.drop(log_lines.length - tail max 0)))
             }