mirror of
https://github.com/git/git.git
synced 2026-04-07 07:20:13 +02:00
Optionally "make coccicheck" can feed multiple source files to spatch, gaining performance while spending more memory. * jk/cocci-batch: coccicheck: make batch size of 0 mean "unlimited" coccicheck: optionally batch spatch invocations
98 KiB
98 KiB