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