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: https://git.lorimer.id.au/gitweb.git/diff_plain/6795fc8afd49ecc0ae57661a8858d6882108cef5?hp=6795fc8afd49ecc0ae57661a8858d6882108cef5

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