Commit ed621cc4 authored Mar 02, 2013 by Nicolas Palix Committed by Michal Marek Apr 08, 2013

Coccinelle: Add support to the SPFLAGS variable



The SPFLAGS variable allows to pass additional options
to spatch, e.g. -use_glimpse.

Signed-off-by: Nicolas Palix <nicolas.palix@imag.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>

parent 9e395550

Documentation/coccinelle.txt

+10 −1

Original line number	Diff line number	Diff line
		@@ -134,6 +134,15 @@ MODE variable explained above.
		In this mode, there is no information about semantic patches
		displayed, and no commit message proposed.

		Additional flags
		~~~~~~~~~~~~~~~~~~

		Additional flags can be passed to spatch through the SPFLAGS
		variable.

		make SPFLAGS=--use_glimpse coccicheck

		See spatch --help to learn more about spatch options.

		Proposing new semantic patches
		~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

scripts/coccicheck

+1 −1

Original line number	Diff line number	Diff line
		@@ -11,7 +11,7 @@ else
		VERBOSE=0
		fi

		FLAGS="-very_quiet"
		FLAGS="$SPFLAGS -very_quiet"

		# spatch only allows include directories with the syntax "-I include"
		# while gcc also allows "-Iinclude" and "-include include"