From ea162ef0416d491053b06422189e2c50ecc85e90 Mon Sep 17 00:00:00 2001 From: Levente Polyak Date: Wed, 26 Jan 2022 22:44:09 +0100 Subject: make: use gzip option to get reproducible tar dist like GitLab --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 84cd533..1541686 100644 --- a/Makefile +++ b/Makefile @@ -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: -- cgit v1.2.3-70-g09d2