diff options
author | yar <yar@FreeBSD.org> | 2007-10-27 18:40:34 +0000 |
---|---|---|
committer | yar <yar@FreeBSD.org> | 2007-10-27 18:40:34 +0000 |
commit | 2913d803334e3123dddbaf4a49f4b1eaf1d820fc (patch) | |
tree | 0d3b07f96f5398890cdc7aaad726c9bf0f217f65 /share/mk | |
parent | 31933d86154d26e5846f250604cfe53be8622bce (diff) | |
download | FreeBSD-src-2913d803334e3123dddbaf4a49f4b1eaf1d820fc.zip FreeBSD-src-2913d803334e3123dddbaf4a49f4b1eaf1d820fc.tar.gz |
Allow the shell used by make(1) to be changed early via the
__MAKE_SHELL variable. This feature isn't supposed to be in wide
use, but it's needed now to make `installworld' independent of the
stock binaries and libs so that radical ABI changes can go in safely.
Reviewed by: ru
Diffstat (limited to 'share/mk')
-rw-r--r-- | share/mk/sys.mk | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/share/mk/sys.mk b/share/mk/sys.mk index a78dfa0..897f720 100644 --- a/share/mk/sys.mk +++ b/share/mk/sys.mk @@ -256,6 +256,11 @@ __MAKE_CONF?=/etc/make.conf .include "${__MAKE_CONF}" .endif +.if defined(__MAKE_SHELL) && !empty(__MAKE_SHELL) +SHELL= ${__MAKE_SHELL} +.SHELL: path=${__MAKE_SHELL} +.endif + # Default executable format # XXX hint for bsd.port.mk OBJFORMAT?= elf |