diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-08-15 15:08:22 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-08-15 15:08:22 -0700 |
commit | 8cabe16d9f96e99aec2264b9e468e42fb61e4668 (patch) | |
tree | f661da48f4788369101cb5b8fee9fca38df58435 /Makefile | |
parent | Merge branch 'es/diff-color-moved-fix' (diff) | |
parent | Makefile: add a DEVOPTS flag to get pedantic compilation (diff) | |
download | tgif-8cabe16d9f96e99aec2264b9e468e42fb61e4668.tar.xz |
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 |