Eric Blake wrote: > Paolo Bonzini <bonzini <at> gnu.org> writes: > >>> We probably ought to change the API of AS_INIT_GENERATED to actually take > the >>> filename of the child script, so that we can swap between quoted and > unquoted >>> here-docs at will, rather than the current interface where > AS_INIT_GENERATED is >>> only a snippet that must occur in a quoted heredoc. That way, we can also >>> subsume the recommendation about starting the child script with #!$SHELL > rather >>> than #!/bin/sh. We haven't released an autoconf version with > AS_INIT_GENERATED >>> yet, so we are still free to improve this API. >> This should be done first. >> > > How does this look?
Seems okay, thanks for beating me to it. Paolo
