From 59673140b56375e802392331fec7cb4ab42d0ddd Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@tuebingen.mpg.de>
Date: Fri, 31 May 2019 20:23:02 +0200
Subject: [PATCH] Run gzip with -n.

It is generally a good idea to not save the local file name and
timestamp in the compressed file, as this thwarts reproducible builds.

Suggested-by: Adam Borowski <kilobyte@angband.pl>
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 66f0470..86e9a51 100644
--- a/Makefile
+++ b/Makefile
@@ -8,7 +8,7 @@ MAKEFLAGS += -Rr
 RM := rm -f
 MKDIR_P := mkdir -p
 CHMOD := chmod
-GZIP := gzip -f9
+GZIP := gzip -nf9
 
 ifeq ("$(origin CC)", "default")
         CC := cc
-- 
2.39.2