--- a/src/Pure/Admin/build_history.scala Mon Jan 23 11:12:02 2023 +0100
+++ b/src/Pure/Admin/build_history.scala Mon Jan 23 11:31:18 2023 +0100
@@ -212,7 +212,7 @@
Isabelle_System.rm_tree(other_isabelle.isabelle_home + Path.explode("lib/classes"))
}
other_isabelle.bash(
- "env PATH=\"" + File.bash_path(Path.explode("~~/lib/dummy_stty").expand) + ":$PATH\" " +
+ "env PATH=\"" + File.bash_path(Path.explode("~~/lib/dummy_stty")) + ":$PATH\" " +
"bin/isabelle jedit -b", redirect = true, echo = verbose).check
for {