[splint-discuss] Output stream PSlint

[Putten Bob van der]

When using -streamoverwrite +message-stream SplintResult.txt in
C:\splint-3.1.1\bin\splint.exe *.c -nestcomment -preproc -streamoverwrite
+message-stream SplintResult.txt I get an internal error:
....: *** Internal Bug at F:\splint\src\llmain.c(831):

               Files unclosed: 1 [errno: 2]

     *** Please report bug to splint-bug at splint.org ***

 

How to write results of splint to an external file?

 

With kind regards / Mit freundlichen Grüssen 
B.F.A. van der Putten 
Engineer D&D 
KONE Deursystemen BV
Accustraat 21
3903 LX  Veenendaal
Postbus 94
3900 AB  Veenendaal
* Phone:     +31 (0) 318 532 333
* Fax:         +31 (0) 318 532 339
* Email:      bob.van.der.putten at kone.com
<mailto:bob.van.der.putten at kone.com> 
* Website:  www.kone.com <http://www.kone.com/> 

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20071022/4f73afcd/attachment.html