docs/65615: make.conf.5 documents non-existent MAKE_SHELL variable

[Jens Schweikhardt]

Synopsis: make.conf.5 documents non-existent MAKE_SHELL variable

State-Changed-From-To: open->feedback
State-Changed-By: schweikh
State-Changed-When: Sat Apr 17 04:41:45 PDT 2004
State-Changed-Why: 
What sources have you grepped? On CURRENT this is what I get:
$ find /usr/src/* -type f -print | xargs grep MAKE_SHELL
/usr/src/contrib/libreadline/CHANGELOG: - set MAKE_SHELL to /bin/sh and substitute into the Makefiles
/usr/src/contrib/libreadline/CHANGELOG: - set SHELL from @MAKE_SHELL@
/usr/src/contrib/libreadline/Makefile.in:SHELL = @MAKE_SHELL@
/usr/src/contrib/libreadline/configure:MAKE_SHELL=/bin/sh
/usr/src/contrib/libreadline/configure:s, at MAKE_SHELL@,$MAKE_SHELL,;t t
/usr/src/contrib/libreadline/configure.in:MAKE_SHELL=/bin/sh
/usr/src/contrib/libreadline/configure.in:AC_SUBST(MAKE_SHELL)
/usr/src/contrib/libreadline/doc/Makefile.in:SHELL = @MAKE_SHELL@
/usr/src/contrib/libreadline/examples/Makefile.in:SHELL = @MAKE_SHELL@
/usr/src/contrib/libreadline/shlib/Makefile.in:SHELL = @MAKE_SHELL@
/usr/src/share/examples/etc/make.conf:# MAKE_SHELL controls the shell used internally by make(1) to process the
/usr/src/share/examples/etc/make.conf:#MAKE_SHELL?=sh
/usr/src/share/man/man5/make.conf.5:.It Va MAKE_SHELL
/usr/src/share/man/man5/make.conf.5:.Dl "MAKE_SHELL?=sh"
/usr/src/usr.bin/make/Makefile:MAKE_SHELL?=     sh
/usr/src/usr.bin/make/Makefile:.if ${MAKE_SHELL} == "csh"
/usr/src/usr.bin/make/Makefile:.elif ${MAKE_SHELL} == "sh"
/usr/src/usr.bin/make/Makefile:.elif ${MAKE_SHELL} == "ksh"
/usr/src/usr.bin/make/Makefile:.error "MAKE_SHELL must be set to one of \"csh\", \"sh\" or \"ksh\"."

So MAKE_SHELL appears to be used for making make itself.

http://www.freebsd.org/cgi/query-pr.cgi?pr=65615