diff options
| -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 |