Andrew's git / gitweb.git / diff
?
Merge branch 'rj/sparse-flags'
authorJunio C Hamano <gitster@pobox.com>
Thu, 7 Feb 2019 06:05:30 +0000 (22:05 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 7 Feb 2019 06:05:30 +0000 (22:05 -0800)
Use of the sparse tool got easier to customize from the command
line to help developers.

* rj/sparse-flags:
Makefile: improve SPARSE_FLAGS customisation
config.mak.uname: remove obsolete SPARSE_FLAGS setting

1  2 
Makefile patch | diff1 | diff2 | blob | history
config.mak.uname patch | diff1 | diff2 | blob | history
diff --cc Makefile
Simple merge
diff --cc config.mak.uname
Simple merge