On Thu, Feb 07, 2008 at 08:06:00PM +0000, David Laight wrote: > The SHELL make/env variable lets you set the shell make should use for > all its commands. This can to be a full path. How do you deal with random names in SHELL? Consider at least bash, rc, zsh. They do make differences in a number of cases. make currently doesn't honour it and I think that is a good thing. Madness for csh users otherwise. Joerg