Forking off different shells from Make is a bad idea

[John M Sellens]

Especially if you use csh without -f. Obviously, the next person to try
to use your makefile will run both a different shell and a different set
of aliases.  It is folly to have something for which the same command
given by 2 different people (which is very often the case with Make)
will have different (and unpredictable) results.

John

p.s. But then, folly is what UNIX commands are based on, right?