coccicheck: Allow for overriding spatch flags
Documentation/coccinelle.txt suggests using the SPFLAGS make variable to pass additional options to spatch. Reorder the way SPFLAGS is added to FLAGS, to allow for options in the SPFLAGS to override the default --very-quiet option. Similarly, rearrage the FLAGS for org or report mode. This allows for overriding of the default --no-show-diff option through SPFLAGS. Signed-off-by: Deepa Dinamani <deepa.kernel@gmail.com> Cc: Gilles Muller <Gilles.Muller@lip6.fr> Acked-by: Nicolas Palix <nicolas.palix@imag.fr> Acked-by: Julia Lawall <Julia.Lawall@lip6.fr> Signed-off-by: Michal Marek <mmarek@suse.com>
This commit is contained in:
parent
bf56cc04ef
commit
7a2358b381
@ -25,7 +25,7 @@ else
|
||||
NPROC="$J"
|
||||
fi
|
||||
|
||||
FLAGS="$SPFLAGS --very-quiet"
|
||||
FLAGS="--very-quiet $SPFLAGS"
|
||||
|
||||
# spatch only allows include directories with the syntax "-I include"
|
||||
# while gcc also allows "-Iinclude" and "-include include"
|
||||
@ -72,7 +72,7 @@ if [ "$MODE" = "chain" ] ; then
|
||||
echo 'All available modes will be tried (in that order): patch, report, context, org'
|
||||
fi
|
||||
elif [ "$MODE" = "report" -o "$MODE" = "org" ] ; then
|
||||
FLAGS="$FLAGS --no-show-diff"
|
||||
FLAGS="--no-show-diff $FLAGS"
|
||||
fi
|
||||
|
||||
if [ "$ONLINE" = "0" ] ; then
|
||||
|
Loading…
Reference in New Issue
Block a user