diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/coccicheck | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/coccicheck b/scripts/coccicheck index f137b04..5319fae 100755 --- a/scripts/coccicheck +++ b/scripts/coccicheck @@ -30,7 +30,7 @@ else NPROC="$J" fi -FLAGS="--very-quiet $SPFLAGS" +FLAGS="--very-quiet" # spatch only allows include directories with the syntax "-I include" # while gcc also allows "-Iinclude" and "-include include" @@ -106,6 +106,9 @@ kill_running() { done } +# You can override heuristics with SPFLAGS, these must always go last +OPTIONS="$OPTIONS $SPFLAGS" + coccinelle () { COCCI="$1" |
