xref: /linux/.cocciconfig (revision 8a405552fd3b1eefe186e724343e88790f6be832) 
1[spatch]
2	options = --timeout 200
3	options = --use-gitgrep
4