diff options
author | ridiculousfish <corydoras@ridiculousfish.com> | 2013-05-17 00:41:06 -0700 |
---|---|---|
committer | ridiculousfish <corydoras@ridiculousfish.com> | 2013-05-17 00:41:06 -0700 |
commit | ce279e9c2d403840ad411074facb5562311c201d (patch) | |
tree | 52e9c9af8bee37b16fbb8f23d01cb3aa092180e6 /build_tools | |
parent | 7d9b0a00e4ec7c3d10bc08fb4ca4716aa31a0589 (diff) |
Use gnutar instead of tar for making tarballs
Diffstat (limited to 'build_tools')
-rwxr-xr-x | build_tools/make_tarball.sh | 4 |
1 files changed, 2 insertions, 2 deletions
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 |