[splint-discuss] splint usage

[Michael Wojcik]

> From: splint-discuss-bounces at cs.virginia.edu
[mailto:splint-discuss-bounces at cs.virginia.edu] On Behalf Of Matuschka,
Sebastian
> Sent: Friday, 12 October, 2007 02:14

> you have a space after the -I flag, if you want to tell Splint
> where your Include directory is, you must type the path directly
> after the -I, no space or something else.

More specifically, that's "-I", no space, and the path *for each of your
include directories*. What you have now is "-I", a space, and then a
list of include directories separated by spaces.

So what you want is something like:

splint abc_main.c -I${bca_project_path}/oss/src \
   -I${bca_project_path}/oss/h \
   -I${bca_project_path}/cd/h ...

-- 
Michael Wojcik
Principal Software Systems Developer, Micro Focus