diff options
Diffstat (limited to 'mk/sys.mk')
| -rw-r--r-- | mk/sys.mk | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/mk/sys.mk b/mk/sys.mk index 07e0aeadaadc..37e37390eb27 100644 --- a/mk/sys.mk +++ b/mk/sys.mk @@ -1,4 +1,4 @@ -# $Id: sys.mk,v 1.46 2017/11/15 22:59:23 sjg Exp $ +# $Id: sys.mk,v 1.47 2020/04/17 21:08:17 sjg Exp $ # # @(#) Copyright (c) 2003-2009, Simon J. Gerraty # @@ -116,6 +116,10 @@ ROOT_GROUP != sed -n /:0:/s/:.*//p /etc/group unix ?= We run ${_HOST_OSNAME}. +# We need a Bourne/POSIX shell +MAKE_SHELL ?= sh +SHELL ?= ${MAKE_SHELL} + # A race condition in mkdir, means that it can bail if another # process made a dir that mkdir expected to. # We repeat the mkdir -p a number of times to try and work around this. |