diff options
author | Levente Polyak <anthraxx@archlinux.org> | 2022-01-26 22:44:09 +0100 |
---|---|---|
committer | Levente Polyak <anthraxx@archlinux.org> | 2022-01-26 22:44:09 +0100 |
commit | ea162ef0416d491053b06422189e2c50ecc85e90 (patch) | |
tree | 6033e8f976885e81f5ea131a629e9789508d9194 | |
parent | 648ab0ad5e734a6b77ef17e26ff482933be8bbd3 (diff) | |
download | devtools-ea162ef0416d491053b06422189e2c50ecc85e90.tar.xz |
make: use gzip option to get reproducible tar dist like GitLab
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -146,7 +146,7 @@ tag: @git tag --sign --message "Version $(TODAY)" $(TODAY) dist: - git archive --format=tar --prefix=devtools-$(V)/ $(V) | gzip -9 > devtools-$(V).tar.gz + git archive --format=tar --prefix=devtools-$(V)/ $(V) | gzip > devtools-$(V).tar.gz gpg --detach-sign --use-agent devtools-$(V).tar.gz upload: |