Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
Merge branch 'jk/cocci-batch'
author
Junio C Hamano
<gitster@pobox.com>
Sun, 19 May 2019 07:45:28 +0000
(16:45 +0900)
committer
Junio C Hamano
<gitster@pobox.com>
Sun, 19 May 2019 07:45:28 +0000
(16:45 +0900)
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
1
2
Makefile
patch
|
diff1
|
diff2
|
blob
|
history
raw
|
combined
(merge:
82dca95
bcb4edf
)
diff --cc
Makefile
Simple merge