diff options
| author | Junio C Hamano <gitster@pobox.com> | 2020-11-01 01:22:08 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-11-01 01:24:40 +0300 |
| commit | 521dc56270d6b4e3258175b6c521e16842acccf7 (patch) | |
| tree | fb9725e4f4fea210f6350aa45329f2b0f1d49fff /config.mak.dev | |
| parent | 898f80736c75878acc02dc55672317fcc0e0a5a6 (diff) | |
Makefile: enable -Wsparse-error for DEVELOPER build
With -Wsparse-error, "make sparse" would fail, instead of just
giving a warning message.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'config.mak.dev')
| -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 89b218d11a..05c56e4a0a 100644 --- a/config.mak.dev +++ b/config.mak.dev @@ -1,5 +1,6 @@ ifeq ($(filter no-error,$(DEVOPTS)),) DEVELOPER_CFLAGS += -Werror +SPARSE_FLAGS += -Wsparse-error endif ifneq ($(filter pedantic,$(DEVOPTS)),) DEVELOPER_CFLAGS += -pedantic |