changeset 57411 | 9444489766a1 |
parent 56448 | 344800503974 |
child 58413 | 22dd971f6938 |
--- a/lib/scripts/getsettings Fri Jun 27 00:21:11 2014 +0100 +++ b/lib/scripts/getsettings Fri Jun 27 11:30:42 2014 +0200 @@ -16,6 +16,11 @@ function tar() { /usr/bin/gnutar "$@"; } fi +#sane environment defaults (notably on Mac OS X) +if [ "$ISABELLE_APP" = true -a -x /usr/libexec/path_helper ]; then + eval $(/usr/libexec/path_helper -s) +fi + #Cygwin vs. POSIX if [ "$OSTYPE" = cygwin ] then