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