From: Junio C Hamano <redacted>
Date: Sun, 19 May 2019 07:45:28 +0000 (+0900)
Subject: Merge branch 'jk/cocci-batch'
X-Git-Url: http://git.99rst.org/?a=commitdiff_plain;h=6795fc8afd49ecc0ae57661a8858d6882108cef5;p=git.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