Hi Eric.
At Tuesday 27 July 2010, Eric Blake wrote:
> On 07/27/2010 03:08 PM, Eric Blake wrote:
> > On 07/27/2010 02:58 PM, Stefano Lattarini wrote:
> >> +# Let user choose which version of autoconf to use.
> >> +AUTOCONF=${AUTOCONF-autoconf}
> >> +
> >
> > I'm used to this variant, with less typing:
> > : ${AUTOCONF=autoconf}
> >
> > But your way works, too.
Can you confirm it's as portable as the ways suggested in the autoconf
manual? If yes, do you think it could be an useful addition to that
manual?
Thanks,
Stefano
_______________________________________________
Autoconf mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/autoconf
