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