From dd581d4b74727b057f6f9f5da7f08a735f7d4d9e Mon Sep 17 00:00:00 2001 From: Warner Losh Date: Tue, 6 May 2014 15:44:46 +0000 Subject: [PATCH] No need to install man pages for bootstrapping new make. Some environments (that I can't reproduce locally, but that others have reported) seem to get tripped up by this man page install. There's really no need to do it, so turn off the man pages using the most portable method. We can't just directly set MK_MAN=no here because we're bootstrapping in the host environment and such a setting was forbidden until very recently. NO_MAN= can produce a warning, but for now the warning is benign. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 6cc56b2af695..b0e21c1ca1df 100644 --- a/Makefile +++ b/Makefile @@ -347,7 +347,7 @@ make bmake: .PHONY ${MMAKE} obj && \ ${MMAKE} depend && \ ${MMAKE} all && \ - ${MMAKE} install DESTDIR=${MYMAKE:H} BINDIR= + ${MMAKE} install DESTDIR=${MYMAKE:H} BINDIR= NO_MAN=t tinderbox toolchains kernel-toolchains: upgrade_checks