diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2020-11-18 13:32:53 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-11-18 13:32:54 -0800 |
| commit | dfbc63da03f584fd4f281dfaffc1cec50e076289 (patch) | |
| tree | dc7abf060acbce6d1e065998ea45178de6f23d33 /gitk-git/gitk | |
| parent | Merge branch 'pb/blame-funcname-range-userdiff' (diff) | |
| parent | Makefile: enable -Wsparse-error for DEVELOPER build (diff) | |
| download | tgif-dfbc63da03f584fd4f281dfaffc1cec50e076289.tar.xz | |
Merge branch 'jc/sparse-error-for-developer-build'
"make DEVELOPER=1 sparse" used to run sparse and let it emit
warnings; now such warnings will cause an error.
* jc/sparse-error-for-developer-build:
Makefile: enable -Wsparse-error for DEVELOPER build
Diffstat (limited to 'gitk-git/gitk')
0 files changed, 0 insertions, 0 deletions