Re: ./configure script prototype

Andreas Ericsson [off-list ref] writes:

Linus Torvalds wrote:

quoted

If you want to do a "configure" script (and I'm not sure it's worth
it),

Perhaps not. I was under the impression that Junio was for it to 
simplify the possible move of binaries to GIT_EXEC_PATH.

I do not see how that is related to it.

Offtopic, but if you really want to do ${var##} and friends
portably, expr(1) is the tool traditionalists prefer; not echo
piped to sed, please.