diff options
| -rw-r--r-- | Makefile | 4 | ||||
| -rw-r--r-- | config.mak.dev | 4 |
2 files changed, 5 insertions, 3 deletions
@@ -486,9 +486,9 @@ all:: # setting this flag the exceptions are removed, and all of # -Wextra is used. # -# pedantic: +# no-pedantic: # -# Enable -pedantic compilation. +# Disable -pedantic compilation. GIT-VERSION-FILE: FORCE @$(SHELL_PATH) ./GIT-VERSION-GEN diff --git a/config.mak.dev b/config.mak.dev index 5424db5c22..c080ac0231 100644 --- a/config.mak.dev +++ b/config.mak.dev @@ -7,9 +7,11 @@ DEVELOPER_CFLAGS += -Werror SPARSE_FLAGS += -Wsparse-error endif DEVELOPER_CFLAGS += -Wall -ifneq ($(filter pedantic,$(DEVOPTS)),) +ifeq ($(filter no-pedantic,$(DEVOPTS)),) DEVELOPER_CFLAGS += -pedantic +DEVELOPER_CFLAGS += -Wpedantic ifneq ($(filter gcc5,$(COMPILER_FEATURES)),) +DEVELOPER_CFLAGS += -Wno-pedantic-ms-format DEVELOPER_CFLAGS += -Wno-incompatible-pointer-types endif endif |