"special" shells a headache in make? (was: security hole)

[matt at LOCUS.UCLA.EDU]

An alternative to modifying 'make' and/or all of your Makefiles would be to
move /bin/make to /bin/make.new, and create a short shell script in place 
of /bin/make:

	#!/bin/sh
	SHELL=/bin/sh
	export SHELL
	exec /bin/make.new

Voila, original semantics (nearly) restored with only slight additional 
overhead.  And you can use the new make too...  (You can cook up more
elaborate scripts if you want to pass the original SHELL value through
to some programs...).

		
Sub
Sub
rs