Re: [PATCH] m4sh: always re-exec with $CONFIG_SHELL, if it's set

[Paul Eggert]

On 12/05/11 11:26, Stefano Lattarini wrote:
> Ping?  There is still interest in this?

There's interest, yes, but alas I don't have the time
to work on it.  It seems you've identified four issues
of which at least the first two should probably be
fixed before it's shipped with autoconf.  Can you come
up with a patch that fixes the first two?

Here's the email where you listed the four issues:

http://lists.gnu.org/archive/html/autoconf-patches/2011-11/msg00004.html