diff options
author | David Adam (zanchey) <zanchey@ucc.gu.uwa.edu.au> | 2013-09-09 20:08:37 +0800 |
---|---|---|
committer | David Adam (zanchey) <zanchey@ucc.gu.uwa.edu.au> | 2013-09-13 11:59:03 +0800 |
commit | 5b5b53872c5ab99eafd72b4944fb00b5fc93e2d2 (patch) | |
tree | f6dfeb37a22e0327aa8d9826c15a89345185e0cf /build_tools | |
parent | 1442a2abe8ff6924c64c4e7559475c5b58d636f5 (diff) |
tarball generation: include config.h.in, set mode and ownership
Include config.h.in as well as configure.
Also sets correct owner, group and mode for all appended files.
Update the mtime of all appended files so that configure and config.h.in
are always newer than configure.ac.
(Fixes many problems introduced by 5023ade7, and makes the commit
message actually true.)
Diffstat (limited to 'build_tools')
-rwxr-xr-x | build_tools/make_tarball.sh | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/build_tools/make_tarball.sh b/build_tools/make_tarball.sh index 3888f434..2c3a0ac1 100755 --- a/build_tools/make_tarball.sh +++ b/build_tools/make_tarball.sh @@ -33,17 +33,18 @@ rm -f "$path" "$path".gz git archive --format=tar --prefix="$prefix"/ master > "$path" # tarball out the documentation, generate a configure script and version file -autoconf -make user_doc -make share/man +autoreconf +./configure --with-doxygen +make user_doc share/man echo $VERSION > version cd /tmp rm -f "$prefix" 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 -gnutar --append --file="$path" "$prefix"/configure +TAR_APPEND="gnutar --append --file=$path --mtime=now --owner=root --group=root --mode=g+w,a+rX" +$TAR_APPEND --no-recursion "$prefix"/user_doc +$TAR_APPEND "$prefix"/user_doc/html "$prefix"/share/man +$TAR_APPEND "$prefix"/version +$TAR_APPEND "$prefix"/configure "$prefix"/config.h.in rm -f "$prefix"/version rm -f "$prefix" |