bin/isabelle
changeset 73705 ac07f6be27ea
parent 66906 03a96b8c7c06
child 74017 b4e6b82fdb9e
--- a/bin/isabelle	Sun May 16 19:37:15 2021 +0200
+++ b/bin/isabelle	Mon May 17 13:57:19 2021 +1000
@@ -4,6 +4,8 @@
 #
 # Isabelle tool wrapper.
 
+unset CDPATH
+
 if [ -L "$0" ]; then
   TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
   exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"