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 /commit-graph.c | |
| parent | 706b0b5e8d683b06e99bdfb2349228b360e4cf03 (diff) | |
| parent | 729b3925ed962565e0d6cc144a4235fdf9a6aa85 (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
Diffstat (limited to 'commit-graph.c')
0 files changed, 0 insertions, 0 deletions