From ce279e9c2d403840ad411074facb5562311c201d Mon Sep 17 00:00:00 2001
From: ridiculousfish <corydoras@ridiculousfish.com>
Date: Fri, 17 May 2013 00:41:06 -0700
Subject: Use gnutar instead of tar for making tarballs

---
 build_tools/make_tarball.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'build_tools')

diff --git a/build_tools/make_tarball.sh b/build_tools/make_tarball.sh
index ec5322af..b74fc9c4 100755
--- a/build_tools/make_tarball.sh
+++ b/build_tools/make_tarball.sh
@@ -34,8 +34,8 @@ make share/man
 cd /tmp
 rm -f "$prefix"
 ln -s "$wd" "$prefix"
-tar --append --file="$path" "$prefix"/user_doc/html
-tar --append --file="$path" "$prefix"/share/man
+gnutar --append --file="$path" "$prefix"/user_doc/html
+gnutar --append --file="$path" "$prefix"/share/man
 rm -f "$prefix"
 
 # gzip it
-- 
cgit v1.2.3