Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1759573Ab2BJRpr (ORCPT ); Fri, 10 Feb 2012 12:45:47 -0500 Received: from perches-mx.perches.com ([206.117.179.246]:39131 "EHLO labridge.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1751397Ab2BJRpq (ORCPT ); Fri, 10 Feb 2012 12:45:46 -0500 Message-ID: <1328895943.14197.1.camel@joe2Laptop> Subject: Re: [PATCH] scripts/coccinelle/misc/boolinit.cocci: semantic patch for bool issues From: Joe Perches To: Julia Lawall Cc: Julia Lawall , kernel-janitors@vger.kernel.org, Gilles Muller , Nicolas Palix , cocci@diku.dk, linux-kernel@vger.kernel.org, Michal Marek , bruce.w.allan@intel.com, rusty@rustcorp.com.au Date: Fri, 10 Feb 2012 09:45:43 -0800 In-Reply-To: <1328893887-28932-1-git-send-email-Julia.Lawall@lip6.fr> References: <1328893887-28932-1-git-send-email-Julia.Lawall@lip6.fr> Content-Type: text/plain; charset="UTF-8" X-Mailer: Evolution 3.2.2- Content-Transfer-Encoding: 7bit Mime-Version: 1.0 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 478 Lines: 14 On Fri, 2012-02-10 at 18:11 +0100, Julia Lawall wrote: > From: Julia Lawall Thanks Julia. It seems to work well. Someone could run this with: $ make coccicheck COCCI=scripts/coccinelle/misc/boolinit.cocci -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/