diff options
| author | Junio C Hamano <gitster@pobox.com> | 2020-11-19 00:32:53 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-11-19 00:32:54 +0300 |
| commit | dfbc63da03f584fd4f281dfaffc1cec50e076289 (patch) | |
| tree | dc7abf060acbce6d1e065998ea45178de6f23d33 /config.mak.dev | |
| parent | 3f6dc9c36693c2ba6dd5fb61fbad6b72cc08e3d1 (diff) | |
| parent | 521dc56270d6b4e3258175b6c521e16842acccf7 (diff) | |
Merge branch 'jc/sparse-error-for-developer-build'
"make DEVELOPER=1 sparse" used to run sparse and let it emit
warnings; now such warnings will cause an error.
* jc/sparse-error-for-developer-build:
Makefile: enable -Wsparse-error for DEVELOPER build
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 3126a5364d..022fb58218 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 |