Make & .cshrc

[Guy Harris]

> >               There is, admittedly, a workaround/fix for this - namely,
> >putting "SHELL=/bin/sh" at the beginning of all your makefiles
> 
> From a software engineering point of view, ignoring for the moment
> what breaks and the inconvenience involved, the above is the most appealing
> to me.

The problem is that the article that started this discussion off was one
complaining about something breaking, so "ignoring for the moment what breaks"
avoids the whole point of the discussion!

Yes, if everybody had always stuck "SHELL=/bin/sh" at the front of their
Makefiles, it would have arguably been completely OK to enhance "make" in the
way it was enhanced.  Unfortunately, since this particular "make" "enhancement"
wasn't present in older versions of "make", people generally *didn't* put
"SHELL=/bin/sh" at the front of their Makefiles, so things *did* break when
this "enhancement" was added.