# HG changeset patch
# User wenzelm
# Date 1475415356 -7200
# Node ID 18cbe1b8d85937afb12dcb603bf265984075f0ef
# Parent  9c0ff0c1211602df74c69712aee5e50ae3acc8e7
updated according to 85c83757788c;

diff -r 9c0ff0c12116 -r 18cbe1b8d859 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