Date: Wed, 13 Jan 1999 16:33:06 +0200 (IST) From: Eli Zaretskii X-Sender: eliz AT is To: "Gary V. Vaughan" cc: Alexandre Oliva , Andris Pavenis , "Mark E." , autoconf AT gnu DOT org, djgpp-workers AT delorie DOT com Subject: Re: patch for autoheader.sh In-Reply-To: <369CAB06.AC33AF89@oranda.demon.co.uk> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Reply-To: djgpp-workers AT delorie DOT com On Wed, 13 Jan 1999, Gary V. Vaughan wrote: > > If /dev/null is verboten, maybe what Andris suggested with 1>&2 is > > better? > > 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). I didn't suggest to change the existing uses of /dev/null (DJGPP supports it). I suggested to use 1>&2 instead for the patch we are discussing, and for it alone.