[splint-discuss] splint 3.1.2 for OS/2 (Re: Releasing 3.1.2)

[Martin Dietze]

On Fri, July 13, 2007, David Evans wrote:

> I've updated the source code distribution to 3.1.2 (which is posted now 
> on splint.org), to incorporate the latest CVS version (with a few more 
> minor fixes).  The CVS code and source code distribution are now the same.
> 
> Thanks for the prodding, I should have done this a long time ago...

I just uploaded an updated OS/2 port to [1].

BTW has anyone running a non-Unix-version (e.g. Win32) noticed
anything weird with the `tainted' self test? On OS/2 the second
test in the tainted subdir does not succeed, actually splint
does not emit any of the expected warnings on the `tainted-bad.mts'
file. 

Cheers,

Martin

[1] http://www.fh-wedel.de/pub/fh-wedel/staff/herbert/splint

-- 
----------- / http://herbert.the-little-red-haired-girl.org / -------------
=+= 
Chinese is a lousy language for scrabble
           -- Neal Stephenson