This is the mail archive of the
cygwin-apps@cygwin.com
mailing list for the Cygwin project.
Re: Cygwin needs a splint'er
> > category: Dev
> > requires: cygwin
> > sdesc: "Splint is a better lint"
> > ldesc: "Splint is a tool for statically checking C programs for
> > security vulnerabilities and coding mistakes. With minimal
> > effort, Splint can be used as a better lint. If additional
> > effort is invested adding annotations to programs, Splint
> > can perform stronger checking than can be done by any
> > standard lint."
Oops, how did Devel become Dev...I must of made a type there, it's ok in the
setup.hint, though.
> This package has my vote.
>
> Unfortunately /etc/postinstall/splint.sh has a bug:
>
> if [ ! -e /bin/lint.exe || ! -e /bin/lint ]; then
>
> should be
>
> if [ ! -e /bin/lint.exe -o ! -e /bin/lint ]; then
Shell scripting always gives me gotchas. Updated package on the
pipe...Thanks Corinna!
> Corinna
Regards,
Elfyn McBratney
elfyn at exposure dot org dot uk
www.exposure.org.uk