author | wenzelm |
Sun, 02 Oct 2016 15:35:56 +0200 | |
changeset 63994 | 18cbe1b8d859 |
parent 63993 | 9c0ff0c12116 |
child 63995 | 2e4d80723fb0 |
--- a/lib/scripts/getfunctions Sun Oct 02 14:37:50 2016 +0200 +++ b/lib/scripts/getfunctions Sun Oct 02 15:35:56 2016 +0200 @@ -19,8 +19,9 @@ export -f platform_path #GNU tar (notably on Mac OS X) -if [ -x /usr/bin/gnutar ]; then - function tar() { /usr/bin/gnutar "$@"; } +if type -p gnutar >/dev/null +then + function tar() { gnutar "$@"; } export -f tar fi