[splint-discuss] question about splinrc

[Georg Brutscheid]

Hi All,

I am new to splint and I am trying to put some initialisation the .splintrc file instead of calling from command line.
Unfortunatly adding the flags on command line works fine but if I add the 
flags to the .splintrc 

> What I did:

$ splint    -weak  example.c
   Splint 3.1.1 --- 09 Aug 2007

   example.c:61: Include file <sys/stat.h> matches the name of a POSIX 
   library, but the POSIX library is not being used.  Consider using 
   +posixlib or +posixstrictlib to select the POSIX library, or 
   -warnposix to suppress this message.
   Header name matches a POSIX header, but the POSIX library is not 
   selected.  (Use -warnposixheaders to inhibit warning)


> Now, if I add "+posixlib" as requested and the include directory for 
  the Parse Error, it works fine.

$ splint  +posixlib -I../include  -weak  example.c


> But if I add the command line flags into the .splintrc, I get a warning 

   +posixlib
   -I.
   -I/cygdrive/d/Projekte/include
   -preproc
   -Dcyg_uint8=char
   - ...

$ splint    -weak  example.c
Splint 3.1.1 --- 09 Aug 2007

   /home/Georg/.splintrc:15:22: Unrecognized option: +posixlib
   A flag is not recognized or used in an incorrect way (Use -badflag to 
   inhibit  warning)

Can anyone tell me why the flag "+posixlib" doesn't work with the .splintrc file?

Thanks     Georg
-- 
Psssst! Schon vom neuen GMX MultiMessenger gehört? Der kann`s mit allen: http://www.gmx.net/de/go/multimessenger01