diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-11-21 16:57:56 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-11-21 16:57:56 +0300 |
commit | d9e70a4e63d25ed0355fed5b01431f2215614007 (patch) | |
tree | d20f90e4d83172809af4cbde5691d4982f5be338 | |
parent | 9beaf81bce99134f9120afc95f913563d46e68cf (diff) | |
parent | 801fa63a90e3619c91e0bb3e7a28140e6d31a097 (diff) |
Merge branch 'jk/dev-build-format-security' into maint
Build tweak to help developers.
* jk/dev-build-format-security:
config.mak.dev: add -Wformat-security
-rw-r--r-- | config.mak.dev | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config.mak.dev b/config.mak.dev index 9a998149d9..92d268137f 100644 --- a/config.mak.dev +++ b/config.mak.dev @@ -7,6 +7,7 @@ CFLAGS += -pedantic CFLAGS += -DUSE_PARENS_AROUND_GETTEXT_N=0 endif CFLAGS += -Wdeclaration-after-statement +CFLAGS += -Wformat-security CFLAGS += -Wno-format-zero-length CFLAGS += -Wold-style-definition CFLAGS += -Woverflow |