--- a/src/Pure/Admin/build_release.scala Fri Jul 16 11:36:24 2021 +0200
+++ b/src/Pure/Admin/build_release.scala Fri Jul 16 12:11:13 2021 +0200
@@ -452,10 +452,9 @@
other_isabelle.resolve_components(echo = true)
try {
- val export_classpath =
- "export CLASSPATH=" + Bash.string(other_isabelle.getenv("ISABELLE_CLASSPATH")) + "\n"
- other_isabelle.bash(export_classpath + "Admin/build all", echo = true).check
- other_isabelle.bash(export_classpath + "bin/isabelle jedit -b", echo = true).check
+ other_isabelle.bash(
+ "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) }