lkml.org 
[lkml]   [2013]   [Jun]   [20]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
SubjectRe: [PATCH 2/3] Coccinelle: Update the documentation
From
On 20 June 2013 16:41, Nicolas Palix <nicolas.palix@imag.fr> wrote:
> - 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 <nicolas.palix@imag.fr>
> ---
> Documentation/coccinelle.txt | 39 ++++++++++++++++++++++++++-------------
> 1 file changed, 26 insertions(+), 13 deletions(-)
>
> diff --git a/Documentation/coccinelle.txt b/Documentation/coccinelle.txt
> index 408439d..1aa9a40 100644
> --- a/Documentation/coccinelle.txt
> +++ b/Documentation/coccinelle.txt
> @@ -48,7 +48,7 @@ A Coccinelle-specific target is defined in the top level
> Makefile. This target is named 'coccicheck' and calls the 'coccicheck'
> front-end in the 'scripts' directory.
>
> -Four modes are defined: patch, report, context, and org. The mode to
> +Four basic modes are defined: patch, report, context, and org. The mode to
> use is specified by setting the MODE variable with 'MODE=<mode>'.
>
> 'patch' proposes a fix, when possible.
> @@ -62,18 +62,24 @@ diff-like style.Lines of interest are indicated with '-'.
> 'org' generates a report in the Org mode format of Emacs.
>
> Note that not all semantic patches implement all modes. For easy use
> -of Coccinelle, the default mode is "chain" which tries the previous
> -modes in the order above until one succeeds.
> +of Coccinelle, the default mode is "report".
>
> -To make a report for every semantic patch, run the following command:
> +Two other modes provide some common combinaisons of these modes.
>

s/combinaisons/combinations


--
With warm regards,
Sachin


\
 
 \ /
  Last update: 2013-06-20 14:21    [W:0.088 / U:1.668 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site