diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2020-10-31 15:22:08 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-10-31 15:24:40 -0700 |
| commit | 521dc56270d6b4e3258175b6c521e16842acccf7 (patch) | |
| tree | fb9725e4f4fea210f6350aa45329f2b0f1d49fff | |
| parent | Git 2.29.2 (diff) | |
| download | tgif-521dc56270d6b4e3258175b6c521e16842acccf7.tar.xz | |
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>
| -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 |