author: Luis R. Rodriguez <mcgrof@kernel.org> 2016-06-29 15:14:56 -0700
committer: Michal Marek <mmarek@suse.com> 2016-07-22 12:13:39 +0200
commit: dd951fc1b67b6511d6c8f0449f3d451df374ebce
parent: 5c384dba979f7aa57d1f09a6ca1a7cd486e7caba
Commit Summary:
Diffstat:
1 file changed, 3 insertions, 0 deletions
diff --git a/.cocciconfig b/.cocciconfig
new file mode 100644
index 000000000000..43967c6b2015
--- /dev/null
+++ b/.cocciconfig
@@ -0,0 +1,3 @@
+[spatch]
+ options = --timeout 200
+ options = --use-gitgrep