X-Authentication-Warning: delorie.com: mail set sender to djgpp-bounces using -f
From: Martin Ambuhl <mambuhl AT earthlink DOT net>
Newsgroups: comp.os.msdos.djgpp
Subject: Re: ANNOUNCE: DJGPP port of Splint 3.1.2 uploaded
Date: Fri, 07 Dec 2007 19:56:04 -0500
Lines: 17
Message-ID: <5ru8daF16nn2mU1@mid.individual.net>
References: <200712072215 DOT lB7MF8YK016494 AT delorie DOT com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net 22pZJh3r2Cgmfg6p7A7MBgi+M8yWbTc4idg6FtDZ6LFHcVyxqY
Cancel-Lock: sha1:TAsCZk7rErDzaX93ouwDVq6/kSQ=
User-Agent: Thunderbird 2.0.0.9 (Windows/20071031)
In-Reply-To: <200712072215.lB7MF8YK016494@delorie.com>
To: djgpp AT delorie DOT com
DJ-Gateway: from newsgroup comp.os.msdos.djgpp
Reply-To: djgpp AT delorie DOT com
Errors-To: nobody AT delorie DOT com
X-Mailing-List: djgpp AT delorie DOT com
X-Unsubscribes-To: listserv AT delorie DOT com
Precedence: bulk

Juan Manuel Guerrero wrote:
> This is a port of Splint 3.1.2 to MSDOS/DJGPP.
[...]
>    The port consists of the two packages that have been compiled using
>    djdev204 and can be downloaded from ftp.delorie.com and mirrors as
>    (timestamp 2007-12-07):
> 
>     Splint 3.1.2 binary, info and man format documentation:
>     ftp://ftp.delorie.com/pub/djgpp/beta/v2tk/mak381b.zip
                                                 ^^^^^^^^^^^
> 
>     Splint 3.1.2 source:
>     ftp://ftp.delorie.com/pub/djgpp/beta/v2tk/mak381b.zip
                                                 ^^^^^^^^^^^

Can these really be right?  That looks like two instances of the binary 
of make to my untrained eye.