diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2019-05-19 16:45:28 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-05-19 16:45:28 +0900 |
| commit | 6795fc8afd49ecc0ae57661a8858d6882108cef5 (patch) | |
| tree | 8cc24b12d6bf4ad58416b78268d084a7d317b6eb /ci | |
| parent | Merge branch 'ab/perf-installed-fix' (diff) | |
| parent | coccicheck: make batch size of 0 mean "unlimited" (diff) | |
| download | tgif-6795fc8afd49ecc0ae57661a8858d6882108cef5.tar.xz | |
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
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions