diff options
-rw-r--r-- | Makefile.inc1 | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Makefile.inc1 b/Makefile.inc1 index ff8c924..e64fd4b 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -578,7 +578,12 @@ distributeworld installworld: installcheck date echo egrep find grep install-info \ ln lockf make mkdir mtree mv pwd_mkdb rm sed sh sysctl \ test true uname wc zic; do \ - cp `which $$prog` ${INSTALLTMP}; \ + if progpath=`which $$prog`; then \ + cp $$progpath ${INSTALLTMP}; \ + else \ + echo "Required install tool $$prog not found" >&2; \ + exit 1; \ + fi; \ done ${_+_}cd ${.CURDIR}; ${IMAKE} re${.TARGET:S/world$//} rm -rf ${INSTALLTMP} |