>>>>> "Paul" == Paul Eggert <[EMAIL PROTECTED]> writes:
Paul> But there are probably other problems with that code too. I understand your point, but I really regret we reject this instead of finding all the impacts and trying to circumvent them. I might be wrong, but I think the general idea, rewriting/extracting from itself, is useful and could have other applications. It was a good test bed for this scheme. Paul> I think we can now remove the "awk <$as_myself" part of Paul> Autoconf, and that nobody would notice it if we did remove it. Paul> That issue is no longer worth worrying about in practice, now Paul> that the code runs a POSIX shell on 99.999% of platforms. I understand your point, and I'm sensitive to your intuition. If you think it will break, let's remove it. Please, do.
