diff options
| author | Jeff King <peff@peff.net> | 2019-05-08 09:07:54 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-05-08 12:25:14 +0200 |
| commit | bcb4edf7af7f10878dd75ccfc3fc0f7596f2d658 (patch) | |
| tree | f36bd27b37fb3c10341ec4f6f52995dcbefb294f /ppc | |
| parent | coccicheck: optionally batch spatch invocations (diff) | |
| download | git-bcb4edf7af7f10878dd75ccfc3fc0f7596f2d658.tar.xz git-bcb4edf7af7f10878dd75ccfc3fc0f7596f2d658.zip | |
coccicheck: make batch size of 0 mean "unlimited"
If you have the memory to handle it, the ideal case is to run a single
spatch invocation with all of the source files. But the only way to do
so now is to pick an arbitrarily large batch size. Let's make "0" do
this, which is a little friendlier (and doesn't otherwise have a useful
meaning).
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'ppc')
0 files changed, 0 insertions, 0 deletions