summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
Diffstat (limited to 'lib')
-rw-r--r--lib/bpcoccinelle.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/bpcoccinelle.py b/lib/bpcoccinelle.py
index bd276c73..75a0b37e 100644
--- a/lib/bpcoccinelle.py
+++ b/lib/bpcoccinelle.py
@@ -33,6 +33,7 @@ def spatch(cocci_file, outdir,
max_threads, thread_id, temp_dir, ret_q, extra_args=[]):
cmd = ['spatch', '--sp-file', cocci_file, '--in-place',
'--recursive-includes',
+ '--relax-include-path',
'--use-coccigrep',
'--backup-suffix', '.cocci_backup', '--dir', '.']