# HG changeset patch
# User wenzelm
# Date 1674568519 -3600
# Node ID 2310755b38ad5fa2ef58da2cc63ee38198568283
# Parent  348f4d95d110ce059412dcd0d78943dd820b33de
tuned message;

diff -r 348f4d95d110 -r 2310755b38ad src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Tue Jan 24 14:46:51 2023 +0100
+++ b/src/Pure/Admin/build_release.scala	Tue Jan 24 14:55:19 2023 +0100
@@ -475,7 +475,7 @@
           "export CLASSPATH=" + Bash.string(other_isabelle.getenv("ISABELLE_CLASSPATH")) + "\n" +
           "bin/isabelle jedit -b", echo = true).check
       }
-      catch { case ERROR(msg) => cat_error("Failed to build tools:", msg) }
+      catch { case ERROR(msg) => cat_error("Failed to build Isabelle/Scala/Java modules:", msg) }
 
       try {
         other_isabelle.bash(