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 /profiling/write-trace.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 'profiling/write-trace.bash')
0 files changed, 0 insertions, 0 deletions