04 Jul, 2013
1 commit
-
The naming convention of options has changed one year ago.
The options have been recently updated in the cocci file
and in scripts/coccicheck. This patch also adds this information
in the documentation.Signed-off-by: Nicolas Palix
Signed-off-by: Michal Marek
03 Jul, 2013
2 commits
-
- The new default mode is 'report'.
- The available modes are detailed a bit more.
- Some information about the use of spatch options are
also given concerning the use of indexing tools.Signed-off-by: Nicolas Palix
Signed-off-by: Michal Marek -
This adds parallelism by default to the "coccicheck" target using
spatch's "-max" and "-index" arguments.Signed-off-by: Kees Cook
Signed-off-by: Nicolas Palix
Signed-off-by: Michal Marek
08 Apr, 2013
1 commit
-
The SPFLAGS variable allows to pass additional options
to spatch, e.g. -use_glimpse.Signed-off-by: Nicolas Palix
Signed-off-by: Michal Marek
22 Feb, 2013
1 commit
-
Do not run with verbosity on/off depending on the ONLINE variable,
which gets set with C=1 or C=2, but allow the user to set the
verbosity using kernel default make V= paramemter.
Verbosity is off by default now.Signed-off-by: Bernd Schubert
CC: Julia Lawall
Acked-by: Nicolas Palix
Signed-off-by: Michal Marek
15 Jan, 2012
1 commit
-
Adding documentation for the new M= option which limits Coccinelle
to a specific set of directories.Signed-off-by: Greg Dietsche
Acked-by: Julia Lawall
Signed-off-by: Michal Marek
03 Dec, 2010
1 commit
-
For doubleinit.cocci, Coccinelle 0.2.4 requires a comma after ... in a
field list. Coccinelle also now behaves gracefully when a definition is
provided for a virtual that doesn't exist, so there is no need for the
semantic patch code to check for this case.Updated the documentation to reflect the fact that the best results will
now be obtained with Coccinelle version 0.2.4 or later.Signed-off-by: Julia Lawall
28 Oct, 2010
1 commit
-
A file used as example has been moved elsewhere.
Update the documentation accordinglySigned-off-by: Nicolas Palix
Reported-by: Julia Lawall
Signed-off-by: Michal Marek
13 Oct, 2010
1 commit
-
- Add information about use of the C={1,2} make flag
- Add a description of the new chain mode mechanism
- Add a link to the wikiSigned-off-by: Nicolas Palix
Signed-off-by: Julia Lawall
Signed-off-by: Michal Marek
29 Jun, 2010
1 commit
-
10.04 is Lucid, not Karmic.
Signed-off-by: Kulikov Vasiliy
Acked-by: Nicolas Palix
Signed-off-by: Michal Marek
12 Jun, 2010
1 commit
-
The purpose of this file is to document how to use Coccinelle and its
spatch tool to check the Linux kernel.It gives information on where and how to retrieve Coccinelle, and how
to use it with the Coccinelle scripts integrated in the Linux kernel.Signed-off-by: Nicolas Palix
Signed-off-by: Julia Lawall
Signed-off-by: Michal Marek