diff options
| author | Jakob Unterwurzacher | 2018-01-07 22:29:02 +0100 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2018-01-07 22:29:02 +0100 |
| commit | 025f33e3669965069e108cf97be092fa1cfa5d0f (patch) | |
| tree | 1e83f73a7f4b66c170641760bedf06c28fceee24 /package-source.bash | |
| parent | 1ae218b417488c727450363827a0776c444278f7 (diff) | |
package-source.bash: archive HEAD instead of master
To be able to check out an older version and create
a tarball from it, let `git archive` operate on HEAD.
This used to be broken in a bad way: we use `git describe`
which operates on HEAD to name the tarball, but always archived
HEAD.
Diffstat (limited to 'package-source.bash')
| -rwxr-xr-x | package-source.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/package-source.bash b/package-source.bash index 05c6fd2..772dfef 100755 --- a/package-source.bash +++ b/package-source.bash @@ -6,7 +6,7 @@ git_archive_extra() { local PREFIX=$1 shift # Add files tracked in git - git archive --prefix "$PREFIX/" -o $PREFIX.tar master + git archive --prefix "$PREFIX/" -o $PREFIX.tar HEAD # Add "extra" files tar --transform "s!^!$PREFIX/!" --append -f $PREFIX.tar "$@" # Compress |