Joerg Sonnenberger wrote:

> > Btw, CONFIG_SHELL seems to a be a workaround for running "configure"
> > correctly and not for telling bmake which shell it is supposed to use at
> > run time.
> 
> SHELL or CONFIG_SHELL should end up as the weired default of bmake.

If we really do this, then it should be simply a matter of telling
"configure" the shell we want:

  $ ./configure --help
   --with-defshell=SHELL  explicitly set DEFSHELL to either /bin/sh or /bin/ksh

ciao
     Klaus