diff options
author | Bernhard M. Wiedemann <bwiedemann@suse.de> | 2017-07-21 13:25:31 (GMT) |
---|---|---|
committer | Bernhard M. Wiedemann <bwiedemann@suse.de> | 2017-07-21 13:25:31 (GMT) |
commit | b8c5b2cf27e1933cc51d066afa83bc66529b5db6 (patch) | |
tree | e72bcba52288bb4b6054959a322b117ef5bc4d9e | |
parent | 349be05ee5cbfd680955d19a9ec2df72966399b4 (diff) |
use gzip -n
to not record timestamps in .gz file headers
to make build reproducible
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 0f32064..2b77d5d 100644 --- a/Makefile.in +++ b/Makefile.in @@ -177,7 +177,7 @@ build-doc: build-man: docs/$(PROG_NAME).1.gz docs/$(PROG_NAME).1.gz: docs/$(PROG_NAME).1 - $(call __silent,GZIP)gzip -c9 $< >$@ + $(call __silent,GZIP)gzip -c9n $< >$@ define sed_it $(call __silent,SED,$@)$(sed) -r \ |