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 /mailmap.c | |
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 'mailmap.c')
0 files changed, 0 insertions, 0 deletions