X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;fp=Makefile.am;h=59834123ac4bbbefe737d28fbdb8a59be38e5d5a;hb=cc0afe999a50963f6419dd3b9d3f00f50b26c760;hp=3f4a9c6250a943e6e2b41d5c829ef31e91777895;hpb=a9c9868d73536751e91797d54dad8416cd9444aa;p=pspp diff --git a/Makefile.am b/Makefile.am index 3f4a9c6250..59834123ac 100644 --- a/Makefile.am +++ b/Makefile.am @@ -32,7 +32,7 @@ AM_V_P ?= : AM_CFLAGS= if cc_is_gcc -AM_CFLAGS+=-Wall -W -Wwrite-strings -Wstrict-prototypes \ +AM_CFLAGS+=-Wall -Wextra -Wwrite-strings -Wstrict-prototypes \ -Wpointer-arith -Wno-sign-compare -Wmissing-prototypes endif