Admin/java/build
changeset 63897 85c83757788c
parent 63557 e506baad44fa
child 64313 ae7c11573922
--- a/Admin/java/build	Fri Sep 16 16:15:11 2016 +0200
+++ b/Admin/java/build	Fri Sep 16 17:12:39 2016 +0200
@@ -53,9 +53,7 @@
 # content
 
 #GNU tar (notably on Mac OS X)
-if [ -x /usr/bin/gnutar ]; then
-  function tar() { /usr/bin/gnutar "$@"; }
-fi
+type -p gnutar >/dev/null && function tar() { gnutar "$@"; }
 
 mkdir "$DIR/x86-linux" "$DIR/x86_64-linux" "$DIR/x86-windows" "$DIR/x86_64-windows" "$DIR/x86_64-darwin"