X-Authentication-Warning: delorie.com: mail set sender to djgpp-bounces using -f
X-Recipient: djgpp AT delorie DOT com
Date: Fri, 04 Jan 2008 00:07:44 -0500
From: Ethan Rosenberg <ethros AT earthlink DOT net>
Subject: Splint - Problems with header files
To: DJGPP List <djgpp AT delorie DOT com>
Message-id: <0JU300HE7SXB5PS0@mta1.srv.hcvlny.cv.net>
MIME-version: 1.0
X-Mailer: QUALCOMM Windows Eudora Version 7.1.0.9
Content-type: text/plain; charset=us-ascii; format=flowed
Content-transfer-encoding: 7BIT
Reply-To: djgpp AT delorie DOT com

Dear list -

Thank you ever so much for your DOS port of Splint.  I have already 
identified some errors in my programs.

I have a program that uses its own header file.  The program and 
header file are both on a:. Even with the switch -Ia:, Splint cannot 
find the header file.  It states that a: is in the search path for 
header files, but the header cannot be found.

Help and advice, please.

Thanks.

Ethan