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