diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-08-16 01:08:22 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-08-16 01:08:22 +0300 |
commit | 8cabe16d9f96e99aec2264b9e468e42fb61e4668 (patch) | |
tree | f661da48f4788369101cb5b8fee9fca38df58435 /Makefile | |
parent | 706b0b5e8d683b06e99bdfb2349228b360e4cf03 (diff) | |
parent | 729b3925ed962565e0d6cc144a4235fdf9a6aa85 (diff) |
Merge branch 'bb/make-developer-pedantic'
"make DEVELOPER=1 DEVOPTS=pedantic" allows developers to compile
with -pedantic option, which may catch more problematic program
constructs and potential bugs.
* bb/make-developer-pedantic:
Makefile: add a DEVOPTS flag to get pedantic compilation
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -484,6 +484,11 @@ all:: # The DEVELOPER mode enables -Wextra with a few exceptions. By # setting this flag the exceptions are removed, and all of # -Wextra is used. +# +# pedantic: +# +# Enable -pedantic compilation. This also disables +# USE_PARENS_AROUND_GETTEXT_N to produce only relevant warnings. GIT-VERSION-FILE: FORCE @$(SHELL_PATH) ./GIT-VERSION-GEN |