diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-10-30 09:43:46 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-10-30 09:43:46 +0300 |
commit | c5cde07a71b5629ecdf5fe41adf41c942743fff5 (patch) | |
tree | 66673e42f597d1f75c436adf648650509509193e /config.mak.dev | |
parent | 48542e3252d91b04c68097c5c2aff930a6ba7ece (diff) | |
parent | 36da893114e02b7f0a8ac5eeb5114dec129a4027 (diff) |
Merge branch 'jk/unused-function'
Developer support.
* jk/unused-function:
config.mak.dev: enable -Wunused-function
Diffstat (limited to 'config.mak.dev')
-rw-r--r-- | config.mak.dev | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/config.mak.dev b/config.mak.dev index 92d268137f..bbeeff44fe 100644 --- a/config.mak.dev +++ b/config.mak.dev @@ -34,7 +34,6 @@ ifeq ($(filter extra-all,$(DEVOPTS)),) CFLAGS += -Wno-empty-body CFLAGS += -Wno-missing-field-initializers CFLAGS += -Wno-sign-compare -CFLAGS += -Wno-unused-function CFLAGS += -Wno-unused-parameter endif endif |