aboutsummaryrefslogtreecommitdiff
path: root/profiling/write-trace.bash
diff options
context:
space:
mode:
authorJakob Unterwurzacher2018-01-07 22:29:02 +0100
committerJakob Unterwurzacher2018-01-07 22:29:02 +0100
commit025f33e3669965069e108cf97be092fa1cfa5d0f (patch)
tree1e83f73a7f4b66c170641760bedf06c28fceee24 /profiling/write-trace.bash
parent1ae218b417488c727450363827a0776c444278f7 (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