git.99rst.org / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 82dca95 bcb4edf)
Merge branch 'jk/cocci-batch'
authorJunio C Hamano <redacted>
Sun, 19 May 2019 07:45:28 +0000 (16:45 +0900)
committerJunio C Hamano <redacted>
Sun, 19 May 2019 07:45:28 +0000 (16:45 +0900)
commit6795fc8afd49ecc0ae57661a8858d6882108cef5
tree8cc24b12d6bf4ad58416b78268d084a7d317b6ebtree | snapshot
parent82dca958dd8c3eba22653c605710c3ef6514958fcommit | diff
parentbcb4edf7af7f10878dd75ccfc3fc0f7596f2d658commit | diff
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
Makefile diff1 | diff2 | blob | history
git clone https://git.99rst.org/PROJECT