delorie.com/archives/browse.cgi   search  
Mail Archives: djgpp-workers/1999/01/13/05:42:39

Sender: oliva AT araguaia DOT dcc DOT unicamp DOT br
To: "Gary V. Vaughan" <gvaughan AT oranda DOT demon DOT co DOT uk>
Cc: Andris Pavenis <pavenis AT lanet DOT lv>, "Mark E." <snowball3 AT usa DOT net>,
autoconf AT gnu DOT org, djgpp-workers AT delorie DOT com
Subject: Re: patch for autoheader.sh
References: <Pine DOT A41 DOT 4 DOT 05 DOT 9901130944510 DOT 52332-100000 AT ieva01 DOT lanet DOT lv> <oru2xvh8n8 DOT fsf AT araguaia DOT dcc DOT unicamp DOT br> <369C7317 DOT E2AE1CBC AT oranda DOT demon DOT co DOT uk>
From: Alexandre Oliva <oliva AT dcc DOT unicamp DOT br>
Date: 13 Jan 1999 08:37:40 -0200
In-Reply-To: "Gary V. Vaughan"'s message of "Wed, 13 Jan 1999 10:19:03 +0000"
Message-ID: <oraeznh30r.fsf@araguaia.dcc.unicamp.br>
Lines: 28
User-Agent: Gnus/5.070068 (Pterodactyl Gnus v0.68) XEmacs/20.4 (Emerald)
Mime-Version: 1.0
Reply-To: djgpp-workers AT delorie DOT com

On Jan 13, 1999, "Gary V. Vaughan" <gvaughan AT oranda DOT demon DOT co DOT uk> wrote:

> Alexandre Oliva wrote:
>> 
>> On Jan 13, 1999, Andris Pavenis <pavenis AT lanet DOT lv> wrote:
>> 
>> > No problems with /dev/null in DJGPP. But I don't know how it will be
>> > with for example CygWin (as I'm not using it).
>> 
>> It works.

> IIRC, cygwin emulates /dev/null properly only on NT.  I'm pretty sure
> win95 has problems... not sure about win98.

It worked for me on win98, and I'm pretty sure it used to work on
Win95 too, but I can't test it any more :-(

> Time for another configure test?

Ugh!  Better avoid it.  /dev/null is so abused that we'd die before we
could replace all uses of it with the result of the configure test.
Better let them broken until Cygnus fixes cygwin, if this is really
broken.

-- 
Alexandre Oliva  http://www.dcc.unicamp.br/~oliva  aoliva@{acm.org}
oliva@{dcc.unicamp.br,gnu.org,egcs.cygnus.com,samba.org}
Universidade Estadual de Campinas, SP, Brasil

- Raw text -


  webmaster     delorie software   privacy  
  Copyright © 2019   by DJ Delorie     Updated Jul 2019