On Fri, Aug 03, 2007 at 01:32:07AM +0200, David Kastrup wrote:
I started wondering myself and it turned out that we just didn't look in the
right place. Actually we _have_ an infrastructure in place to replace the
shell. (SHELL_PATH in the Makefile) In that case I would not consider this
an issue and you might go on with the cleanup from my point of view.
Robert
--=20
Robert Schiele
Dipl.-Wirtsch.informatiker mailto:rschiele@gmail.com
"Quidquid latine dictum sit, altum sonatur."