]> git.proxmox.com Git - mirror_ubuntu-disco-kernel.git/commitdiff
coccicheck: Allow for overriding spatch flags
authorDeepa Dinamani <deepa.kernel@gmail.com>
Sun, 12 Jun 2016 19:04:39 +0000 (12:04 -0700)
committerMichal Marek <mmarek@suse.com>
Mon, 20 Jun 2016 20:08:13 +0000 (22:08 +0200)
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>
scripts/coccicheck

index dd85a455b2ba9ec20250f8556904f80d597fb58a..f6627863fdc38a5b3ce0edc6e23993f96e8b4dd9 100755 (executable)
@@ -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