updated according to 85c83757788c;
authorwenzelm
Sun, 02 Oct 2016 15:35:56 +0200
changeset 63994 18cbe1b8d859
parent 63993 9c0ff0c12116
child 63995 2e4d80723fb0
updated according to 85c83757788c;
lib/scripts/getfunctions
--- 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