>> It occurs to me that this could also be solved by generating a small >> standalone script using the tmpdir mechanism, to replace the shell >> function. Would that solution be preferable?
Number one problem is that most of the time, we want the same environment as configure, so exec'ing a file is not possible. We'd have to use `.' or `source', that do already exhibit portability problems (in particular wrt passing arguments).
