make: use gzip option to get reproducible tar dist like GitLab

This commit is contained in:
Levente Polyak 2022-01-26 22:44:09 +01:00
parent 648ab0ad5e
commit ea162ef041
No known key found for this signature in database
GPG Key ID: FC1B547C8D8172C8
1 changed files with 1 additions and 1 deletions

View File

@ -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: