diff options
author | jmallett <jmallett@FreeBSD.org> | 2002-09-29 00:09:22 +0000 |
---|---|---|
committer | jmallett <jmallett@FreeBSD.org> | 2002-09-29 00:09:22 +0000 |
commit | 40433734f4d3ce1f02de23d1ec5b3f8b54506e2e (patch) | |
tree | 6c16fbaee1fb7cf543d9982e8bc0f4c62037fc37 | |
parent | 539e643c0d6b8db4898c0ab1148ea879cf720d56 (diff) | |
download | FreeBSD-src-40433734f4d3ce1f02de23d1ec5b3f8b54506e2e.zip FreeBSD-src-40433734f4d3ce1f02de23d1ec5b3f8b54506e2e.tar.gz |
Allow the shell preference for make(1) to be set in make.conf(5), and hopefully
trick a few people into setting MAKE_SHELL to csh, although that can still
rebuild itself to allow them to heal the wound in their foot.
-rw-r--r-- | share/examples/etc/make.conf | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/share/examples/etc/make.conf b/share/examples/etc/make.conf index e52ece8..d055094 100644 --- a/share/examples/etc/make.conf +++ b/share/examples/etc/make.conf @@ -53,6 +53,13 @@ # #CXXFLAGS+= -fmemoize-lookups -fsave-memoized # +# MAKE_SHELL controls the shell used internally by make(1) to process the +# command scripts in makefiles. Three shells are supported, sh, ksh, and +# csh. Using sh is most common, and advised. Using ksh *may* work, but is +# not guaranteed to. Using csh is absurd. The default is to use sh. +# +#MAKE_SHELL?=sh +# # BDECFLAGS are a set of gcc warning settings that Bruce Evans has suggested # for use in developing FreeBSD and testing changes. They can be used by # putting "CFLAGS+=${BDECFLAGS}" in /etc/make.conf. -Wconversion is not |