Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1754932Ab0DZWXv (ORCPT ); Mon, 26 Apr 2010 18:23:51 -0400 Received: from xenotime.net ([72.52.64.118]:36746 "HELO xenotime.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with SMTP id S1754509Ab0DZWXu (ORCPT ); Mon, 26 Apr 2010 18:23:50 -0400 Message-ID: <4BD61266.5020905@xenotime.net> Date: Mon, 26 Apr 2010 15:23:34 -0700 From: Randy Dunlap Organization: YPO4 User-Agent: Thunderbird 2.0.0.19 (X11/20081227) MIME-Version: 1.0 To: Nicolas Palix CC: Joe Perches , Andrew Morton , "David S. Miller" , Michal Marek , Sam Ravnborg , Julia Lawall , Gilles Muller , linux-kernel@vger.kernel.org, linux-kbuild@vger.kernel.org, cocci@diku.dk Subject: Re: [PATCH 1/4] Add targets to use the Coccinelle checker References: <1272316279-12042-1-git-send-email-npalix@diku.dk> <1272316279-12042-2-git-send-email-npalix@diku.dk> <1272317821.15953.107.camel@Joe-Laptop.home> <201004270020.09447.npalix@diku.dk> In-Reply-To: <201004270020.09447.npalix@diku.dk> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1152 Lines: 33 Nicolas Palix wrote: > diff --git a/Makefile b/Makefile > index 67c1001..293c88b 100644 > --- a/Makefile > +++ b/Makefile > @@ -1424,6 +1425,14 @@ versioncheck: > -name '*.[hcS]' -type f -print | sort \ > | xargs $(PERL) -w $(srctree)/scripts/checkversion.pl > > +coccicheck-context coccicheck-patch coccicheck-org coccicheck-report: > + @echo "\nPlease check for false positive in the output before submitting a patch.\n\n"\ positives > + "Take particularly attention when using the \"patch\" mode\n"\ particular > + "and carefully review the patch you are about to submit.\n" > + @find $(srctree)/scripts/smpl/ \ > + -name '*.cocci' -type f \ > + -exec $(srctree)/scripts/spatch.sh $(SPATCH) $(@:coccicheck-%=%) \{} $(srctree) \; > + > namespacecheck: > $(PERL) $(srctree)/scripts/namespace.pl > -- 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/