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: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=8cabe16d9f96e99aec2264b9e468e42fb61e4668;p=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