diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/coccicheck | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/coccicheck b/scripts/coccicheck index bbf901a..b2d7581 100755 --- a/scripts/coccicheck +++ b/scripts/coccicheck @@ -30,7 +30,7 @@ FLAGS="$SPFLAGS --very-quiet" # spatch only allows include directories with the syntax "-I include" # while gcc also allows "-Iinclude" and "-include include" COCCIINCLUDE=${LINUXINCLUDE//-I/-I } -COCCIINCLUDE=${COCCIINCLUDE//-include/-I} +COCCIINCLUDE=${COCCIINCLUDE// -include/ --include} if [ "$C" = "1" -o "$C" = "2" ]; then ONLINE=1 |
