diff options
Diffstat (limited to 'maintMakefile')
-rw-r--r-- | maintMakefile | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/maintMakefile b/maintMakefile index a275b88c..cab8dd6a 100644 --- a/maintMakefile +++ b/maintMakefile @@ -20,7 +20,14 @@ GNUWEBDIR ?= $(SRCROOTDIR)/gnu-www MAKEWEBDIR ?= $(SRCROOTDIR)/make/make-web # We like mondo-warnings! -AM_CFLAGS += -Wall -Wwrite-strings -Wextra -Wdeclaration-after-statement -Wshadow -Wpointer-arith -Wbad-function-cast +AM_CFLAGS += -Wall -Wextra -Werror -Wwrite-strings -Wshadow -Wpointer-arith \ + -Wdeclaration-after-statement -Wbad-function-cast -Wformat-security \ + -Wtype-limits -Wunused-but-set-parameter -Wlogical-op \ + -Wignored-qualifiers -Wformat-signedness -Wduplicated-cond + +# Unfortunately the Guile headers are sometimes broken. Convince GCC +# to treat them as system headers so warnings are ignored. +GUILE_CFLAGS := $(patsubst -I%,-isystem %,$(GUILE_CFLAGS)) MAKE_MAINTAINER_MODE := -DMAKE_MAINTAINER_MODE AM_CPPFLAGS += $(MAKE_MAINTAINER_MODE) |