From d70148e36540be834fa49c890b63ca7f1b346243 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Sat, 23 Feb 2019 17:46:28 -0600
Subject: [PATCH] make: We don't need the flag.

---
 GNUmakefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/GNUmakefile b/GNUmakefile
index 1418f71dcf..df11a97a66 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -22,7 +22,7 @@ ifdef CONFIG
 	endif
 
 	ifneq ($(REPRODUCIBLE), 0)
-		CFLAGS += -DFACTOR_REPRODUCIBLE -Wno-builtin-macro-redefined
+		CFLAGS += -DFACTOR_REPRODUCIBLE
 	endif
 
 	ENGINE = $(DLL_PREFIX)factor$(DLL_SUFFIX)$(DLL_EXTENSION)
-- 
2.34.1