summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorLibravatar Junio C Hamano <gitster@pobox.com>2018-08-15 15:08:22 -0700
committerLibravatar Junio C Hamano <gitster@pobox.com>2018-08-15 15:08:22 -0700
commit8cabe16d9f96e99aec2264b9e468e42fb61e4668 (patch)
treef661da48f4788369101cb5b8fee9fca38df58435 /Makefile
parentMerge branch 'es/diff-color-moved-fix' (diff)
parentMakefile: add a DEVOPTS flag to get pedantic compilation (diff)
downloadtgif-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--Makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index bc4fc8eeab..5f569c9886 100644
--- a/Makefile
+++ b/Makefile
@@ -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