From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 15 Aug 2018 22:08:22 +0000 (-0700)
Subject: Merge branch 'bb/make-developer-pedantic'
X-Git-Tag: v2.19.0-rc0~79
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=8cabe16d9f96e99aec2264b9e468e42fb61e4668;p=thirdparty%2Fgit.git

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
---

8cabe16d9f96e99aec2264b9e468e42fb61e4668