Use gnutar instead of tar for making tarballs

This commit is contained in:
ridiculousfish 2013-05-17 00:41:06 -07:00
parent 7d9b0a00e4
commit ce279e9c2d

View file

@ -34,8 +34,8 @@ make share/man
cd /tmp cd /tmp
rm -f "$prefix" rm -f "$prefix"
ln -s "$wd" "$prefix" ln -s "$wd" "$prefix"
tar --append --file="$path" "$prefix"/user_doc/html gnutar --append --file="$path" "$prefix"/user_doc/html
tar --append --file="$path" "$prefix"/share/man gnutar --append --file="$path" "$prefix"/share/man
rm -f "$prefix" rm -f "$prefix"
# gzip it # gzip it