diff options
| author |  Ævar Arnfjörð Bjarmason <avarab@gmail.com> | 2018-04-14 19:19:46 +0000 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2018-04-16 13:54:53 +0900 |
| commit | 26d2e4fb227c1415011a136fa9bb881ee338118a (patch) | |
| tree | c57278dadabee498e50863e70790e81b592ae5c1 /Documentation/SubmittingPatches | |
| parent | Makefile: add a DEVOPTS to suppress -Werror under DEVELOPER (diff) | |
| download | tgif-26d2e4fb227c1415011a136fa9bb881ee338118a.tar.xz | |
Makefile: add a DEVOPTS to get all of -Wextra
Change DEVOPTS to understand a "extra-all" option. When the DEVELOPER
flag is enabled we turn on -Wextra, but manually switch some of the
warnings it turns on off.
This is because we have many existing occurrences of them in the code
base. This mode will stop the suppression, let the developer see and
decide whether to fix them.
This change is a slight alteration of Nguyễn Thái Ngọc Duy
EAGER_DEVELOPER mode patch[1]
1. "[PATCH v3 3/3] Makefile: add EAGER_DEVELOPER
mode" (<20180329150322.10722-4-pclouds@gmail.com>;
https://public-inbox.org/git/20180329150322.10722-4-pclouds@gmail.com/)
Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/SubmittingPatches')
0 files changed, 0 insertions, 0 deletions