--- a/src/Pure/Tools/build_job.scala Tue Mar 07 16:23:48 2023 +0100
+++ b/src/Pure/Tools/build_job.scala Tue Mar 07 22:17:47 2023 +0100
@@ -515,7 +515,7 @@
}
else {
progress.echo(
- session_name + " FAILED (see also \"isabelle log -H Error " + session_name + "\")")
+ session_name + " FAILED (see also \"isabelle build_log -H Error " + session_name + "\")")
if (!process_result.interrupted) {
val tail = info.options.int("process_output_tail")
val suffix = if (tail == 0) log_lines else log_lines.drop(log_lines.length - tail max 0)