]> granicus.if.org Git - git/commit
projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 706b0b5 729b392)
Merge branch 'bb/make-developer-pedantic'
authorJunio C Hamano <gitster@pobox.com>
Wed, 15 Aug 2018 22:08:22 +0000 (15:08 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 15 Aug 2018 22:08:22 +0000 (15:08 -0700)
commit8cabe16d9f96e99aec2264b9e468e42fb61e4668
treef661da48f4788369101cb5b8fee9fca38df58435tree | snapshot
parent706b0b5e8d683b06e99bdfb2349228b360e4cf03commit | diff
parent729b3925ed962565e0d6cc144a4235fdf9a6aa85commit | 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
Makefile diff1 | diff2 | blob | history
Unnamed repository; edit this file 'description' to name the repository.