]> gitweb.factorcode.org Git - factor.git/commitdiff
make: We don't need the flag.
authorDoug Coleman <doug.coleman@gmail.com>
Sat, 23 Feb 2019 23:46:28 +0000 (17:46 -0600)
committerDoug Coleman <doug.coleman@gmail.com>
Sat, 23 Feb 2019 23:46:28 +0000 (17:46 -0600)
GNUmakefile

index 1418f71dcf97325ef7b5957e7c94a5771d676c01..df11a97a6686baf5356027c99cbd339a811ea408 100644 (file)
@@ -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)