# HG changeset patch # User wenzelm # Date 1674469878 -3600 # Node ID e57ba228ec2445cbd49e1afbcb2de7e16a7a5d54 # Parent 92509e4274eb46dc674080a0e8ce8f76ed70bf5c tuned: drop redundant "expand"; diff -r 92509e4274eb -r e57ba228ec24 src/Pure/Admin/build_history.scala --- 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 {