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