ksh as /bin/sh

[Mats Wichmann]

Regarding ksh slowing down MAKE if installed as /bin/sh...if you keep
the old shell around, usually a good idea anyway (perhaps as /bin/bsh?
or /bin/osh?), setting the line `SHELL=/bin/osh' in your makefile will
fix this. Odious to have to change your makefiles, but worth remembering
in case of trouble...

[ From one who has been bitten by `sh' constructs in my makefiles, only to
  find that `csh' was being used as the shell....]

	    Mats Wichmann
	    Dual Systems Corp.
	    ...{ucbvax,amd70,ihnp4,cbosgd,decwrl,fortune}!dual!mats