Sender: oliva AT araguaia DOT dcc DOT unicamp DOT br To: "Gary V. Vaughan" Cc: Eli Zaretskii , Andris Pavenis , "Mark E." , autoconf AT gnu DOT org, djgpp-workers AT delorie DOT com, Libtool List Subject: Re: patch for autoheader.sh References: <369CB1CA DOT 7B2C40A5 AT oranda DOT demon DOT co DOT uk> From: Alexandre Oliva Date: 13 Jan 1999 18:04:50 -0200 In-Reply-To: "Gary V. Vaughan"'s message of "Wed, 13 Jan 1999 14:46:34 +0000" Message-ID: Lines: 21 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" wrote: >> On Wed, 13 Jan 1999, Gary V. Vaughan wrote: >> > If it works in that particular case, then that is good, and should >> > probably be done. However, as Alexandre pointed out, use of >> > /dev/null in autoconf/automake/libtool/*.m4 is all-pervasive and if >> > we try to change it, it will kill us all (and our families). :-) > Alexandre, is this worth a note in the PORTing section of libtool? I don't think so. /dev/null is supported on all targets that need it. If we ever find a system that doesn't support /dev/null properly, we should take care of that at that point, not now. IMHO, of course :-) -- 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