From: Junio C Hamano <gitster@pobox.com>
Date: Sun, 19 May 2019 07:45:28 +0000 (+0900)
Subject: Merge branch 'jk/cocci-batch'
X-Git-Tag: v2.22.0-rc1~28
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=6795fc8afd49ecc0ae57661a8858d6882108cef5;p=thirdparty%2Fgit.git

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
---

6795fc8afd49ecc0ae57661a8858d6882108cef5