This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] Allow build to specify what sed mkheaders uses
Steve Ellcey wrote:
> On Wed, 2009-08-26 at 10:12 +0200, Paolo Bonzini wrote:
>
>> Does it work to just use ./configure SED=/bin/sed ?
>>
>> Paolo
>
> No, using SED=/usr/bin/sed doesn't work because the configure script
> checks /usr/bin/sed, finds it lacking, and goes on to find the sed in my
> BE and uses that.
>
>> Does autoconf take care of this wiht AC_PROG_SED ? Then you just use
>> $(SED) to do your work.
>
> The AC_PROG_SED macro does not seem to include the functionality that I
> want. If you specify SED (like Paolo suggested) it will check that sed
> command first (I think) but if it doesn't like it then it will check for
> other sed's in your path and use one of those.
Ralf, is this expected?
I'm now more inclined to accept the patch, but I would like to rule out
that the culprit is another bug, before.
Paolo