Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
Merge branch 'jk/dev-build-format-security' into maint
author
Junio C Hamano
<gitster@pobox.com>
Wed, 21 Nov 2018 13:57:56 +0000
(22:57 +0900)
committer
Junio C Hamano
<gitster@pobox.com>
Wed, 21 Nov 2018 13:57:56 +0000
(22:57 +0900)
Build tweak to help developers.
* jk/dev-build-format-security:
config.mak.dev: add -Wformat-security
1
2
config.mak.dev
patch
|
diff1
|
diff2
|
blob
|
history
raw
|
combined
(merge:
9beaf81
801fa63
)
diff --cc
config.mak.dev
index 9a998149d99a8eeebf311d5e84d43f146ed0f90d,bfbd3df4e8ad51e6a86c5a6b9a953e0a70b0480d..92d268137f61e825c1529e5eedca9e39c539dce2
---
1
/
config.mak.dev
---
2
/
config.mak.dev
+++ b/
config.mak.dev
@@@
-1,12
-1,8
+1,13
@@@
ifeq ($(filter no-error,$(DEVOPTS)),)
CFLAGS += -Werror
endif
+ifneq ($(filter pedantic,$(DEVOPTS)),)
+CFLAGS += -pedantic
+# don't warn for each N_ use
+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