tree 8cc24b12d6bf4ad58416b78268d084a7d317b6eb
parent 82dca958dd8c3eba22653c605710c3ef6514958f
parent bcb4edf7af7f10878dd75ccfc3fc0f7596f2d658
author Junio C Hamano <gitster@pobox.com> 1558251928 +0900
committer Junio C Hamano <gitster@pobox.com> 1558251928 +0900

Merge branch 'jk/cocci-batch'

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