www.delorie.com/archives/browse.cgi | search |
X-Authentication-Warning: | delorie.com: mail set sender to djgpp-bounces using -f |
From: | Juan Manuel Guerrero <juan DOT guerrero AT gmx DOT de> |
Newsgroups: | comp.os.msdos.djgpp |
Subject: | Re: ANNOUNCE: release 3 of the DJGPP port of Splint 3.1.2 Is it the |
correct on? | |
Date: | Sun, 20 Jan 2008 12:16:36 -0800 (PST) |
Organization: | http://groups.google.com |
Lines: | 60 |
Message-ID: | <b0b24cac-01b0-4d8e-b21b-fa2be4ccd96c@1g2000hsl.googlegroups.com> |
References: | <200801161852 DOT m0GIqI28012817 AT delorie DOT com> <0JUY009LMIJSOE20 AT mta2 DOT srv DOT hcvlny DOT cv DOT net> |
NNTP-Posting-Host: | 88.68.37.153 |
Mime-Version: | 1.0 |
X-Trace: | posting.google.com 1200860197 32572 127.0.0.1 (20 Jan 2008 20:16:37 GMT) |
X-Complaints-To: | groups-abuse AT google DOT com |
NNTP-Posting-Date: | Sun, 20 Jan 2008 20:16:37 +0000 (UTC) |
Complaints-To: | groups-abuse AT google DOT com |
Injection-Info: | 1g2000hsl.googlegroups.com; posting-host=88.68.37.153; |
posting-account=OsAajgoAAADdKJnkJkmhzqP0jo6I_P_0 | |
User-Agent: | G2/1.0 |
X-HTTP-UserAgent: | Mozilla/5.0 (Macintosh; U; PPC Mac OS X; en-us) |
AppleWebKit/48 (like Gecko) Safari/48,gzip(gfe),gzip(gfe) | |
To: | djgpp AT delorie DOT com |
DJ-Gateway: | from newsgroup comp.os.msdos.djgpp |
Reply-To: | djgpp AT delorie DOT com |
Ethan Rosenberg schrieb: > At 01:08 PM 1/16/2008, you wrote: > >This is release 3 of the port of Splint 3.1.2 to MSDOS/DJGPP. [snip] > > Splint 3.1.2 binary, pdf, html and man format documentation: > > ftp://ftp.delorie.com/pub/djgpp/beta/v2tk/spl312b.zip Yes, I you issue the command: splint --version you should get something like : 16 Jan 2008 > Is the above source the correct one? I still get the same > performance with header files. Is it possible that the incorrect > source was uploaded? > > Under separate cover I am sending you an example of a file that you can test. Because I never got a code snippet from you showing me the difficulty I have tried to interpret you message and construct an example that I have assumed resembles to what you have told. I used this example: cat > c:\\foo\\bar/1.h << EOH #ifndef _1_H_ # define _1_H_ # include <stdio.h> #endif EOH cat > e:/tmp\\1.c << EOC #include "c:\foo/bar\1.h" int main(void) { printf("hello world!\n"); return 0; } EOC When I start splint with the command: splint 1.c I get the following output: Splint 3.1.2 --- 16 Jan 2008 Finished checking --- no warnings As can be seen the header and the c file are on different partitions and the include directive allows for mixed slash and backslash chars as dir separator. Also a leading drive letter is allowed. I do not use 'a:' because my PC no longer has a floppy drive. But that will certainly not matter. If the difficulty still persists, send me a snippet that triggers the bug. Regards, Juan M. Guerrero
webmaster | delorie software privacy |
Copyright © 2019 by DJ Delorie | Updated Jul 2019 |