diff options
author | Carl Dong <contact@carldong.me> | 2020-05-04 13:00:08 -0400 |
---|---|---|
committer | Carl Dong <contact@carldong.me> | 2020-05-04 13:00:08 -0400 |
commit | bfe1ba2f5b36056e0c41edf8206b93d3d83098df (patch) | |
tree | 4bf5b7f93480c6bc6b1b3ec4ec20fc853592faec | |
parent | 27e63e01cce368d67092de8f0c736927d6f6aa69 (diff) |
rel-builds: Specify core.abbrev for git-rev-parse
Chose 12 because the kernel uses it:
https://public-inbox.org/git/CA+55aFy0_pwtFOYS1Tmnxipw9ZkRNCQHmoYyegO00pjMiZQfbg@mail.gmail.com/raw
And also because it's a nice number.
-rwxr-xr-x | contrib/gitian-descriptors/assign_DISTNAME | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/gitian-descriptors/assign_DISTNAME b/contrib/gitian-descriptors/assign_DISTNAME index a1ab3f7cbd..a2ca768aaa 100755 --- a/contrib/gitian-descriptors/assign_DISTNAME +++ b/contrib/gitian-descriptors/assign_DISTNAME @@ -7,6 +7,6 @@ if RECENT_TAG="$(git describe --exact-match HEAD)"; then VERSION="${RECENT_TAG#v}" else - VERSION="$(git rev-parse --short HEAD)" + VERSION="$(git rev-parse --short=12 HEAD)" fi DISTNAME="bitcoin-${VERSION}" |