diff options
Diffstat (limited to 'build_tools/make_tarball.sh')
| -rwxr-xr-x | build_tools/make_tarball.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build_tools/make_tarball.sh b/build_tools/make_tarball.sh index 77d78c67..54398b13 100755 --- a/build_tools/make_tarball.sh +++ b/build_tools/make_tarball.sh @@ -42,6 +42,7 @@ ln -s "$wd" "$prefix" gnutar --append --file="$path" "$prefix"/user_doc/html gnutar --append --file="$path" "$prefix"/share/man gnutar --append --file="$path" "$prefix"/version +rm -f "$prefix"/version rm -f "$prefix" # gzip it |