lists.openwall.net   lists  /  announce  owl-users  owl-dev  john-users  john-dev  passwdqc-users  yescrypt  popa3d-users  /  oss-security  kernel-hardening  musl  sabotage  tlsify  passwords  /  crypt-dev  xvendor  /  Bugtraq  Full-Disclosure  linux-kernel  linux-netdev  linux-ext4  linux-hardening  linux-cve-announce  PHC 
Open Source and information security mailing list archives
 
Hash Suite: Windows password security audit tool. GUI, reports in PDF.
[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <53962C2C.9030802@suse.cz>
Date:	Mon, 09 Jun 2014 23:50:36 +0200
From:	Michal Marek <mmarek@...e.cz>
To:	Himangi Saraogi <himangi774@...il.com>
CC:	linux-kernel@...r.kernel.org, kbuild@...org, julia.lawall@...6.fr,
	Gilles Muller <Gilles.Muller@...6.fr>,
	Nicolas Palix <nicolas.palix@...g.fr>,
	"cocci@...teme.lip6.fr" <cocci@...teme.lip6.fr>
Subject: Re: [PATCH] coccinelle/null: solve parse error

(added the rest of the coccinelle gang to cc)

Dne 28.5.2014 16:10, Himangi Saraogi napsal(a):
> This patch solves the parse-error by adding @@ . This is necessary since
> Coccinelle version 1.0.0-rc20. Also, the comment is added to use a
> recent version of Coccinelle.
> 
> Signed-off-by: Himangi Saraogi <himangi774@...il.com>
> Acked-by: Julia Lawall <julia.lawall@...6.fr>
> ---
>  scripts/coccinelle/null/badzero.cocci | 3 ++-
>  1 file changed, 2 insertions(+), 1 deletion(-)
> 
> diff --git a/scripts/coccinelle/null/badzero.cocci b/scripts/coccinelle/null/badzero.cocci
> index d79baf7..5551da2 100644
> --- a/scripts/coccinelle/null/badzero.cocci
> +++ b/scripts/coccinelle/null/badzero.cocci
> @@ -10,7 +10,7 @@
>  // Copyright: (C) 2012 Julia Lawall, INRIA/LIP6.  GPLv2.
>  // Copyright: (C) 2012 Gilles Muller, INRIA/LiP6.  GPLv2.
>  // URL: http://coccinelle.lip6.fr/
> -// Comments:
> +// Comments: Requires Coccinelle version 1.0.0-rc20 or later
>  // Options:
>  
>  virtual patch
> @@ -19,6 +19,7 @@ virtual org
>  virtual report
>  
>  @initialize:ocaml@
> +@@
>  let negtable = Hashtbl.create 101
>  
>  @depends on patch@
> 

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

Powered by blists - more mailing lists

Powered by Openwall GNU/*/Linux Powered by OpenVZ