diff options
Diffstat (limited to 'lib')
-rw-r--r-- | lib/bpcoccinelle.py | 1 |
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', '.'] |