On Tue, May 23, 2006 at 03:57:23PM -0500, Dustin Kirkland wrote:
> On Tue, 2006-05-23 at 22:17 +0200, Sam Ravnborg wrote:
> > On Tue, May 23, 2006 at 12:20:46PM -0500, Dustin Kirkland wrote:
> > > Minor changes to allow static analysis checkers besides sparse
> > >
> > > This patch allows CHECK and CHECKFLAGS to be passed in on the make
> > > invocation, such that one could specify a checker other than sparse,
> > > and/or different flags.
> > This is alread possible.
> > Try
> > make C=1 CHECK=checker_executable CHECKFLAGS=....
> > from your example and see that it works.
>
> No kidding, yep...I just tried that and it worked like a charm. Thanks.
>
> The inline documentation was misleading.
>
> How about this simple patch to more clearly enunciate this in the inline
> Makefile documentation?
Look good, applied.
Sam
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642
_______________________________________________
kbuild-devel mailing list
kbuild-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/kbuild-devel
