From 897ca6ebd9f4e8dac62e3a6508d5c67ca4c3ab14 Mon Sep 17 00:00:00 2001 From: Ruslan Ermilov Date: Thu, 15 Jan 2004 09:50:54 +0000 Subject: [PATCH] Alongside revision 1.382, don't build profiled libraries so early in the build -- it's OK to keep this for the "make all" phase. --- Makefile.inc1 | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Makefile.inc1 b/Makefile.inc1 index 786dc6ab1cdd..69819bf92088 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -348,8 +348,9 @@ _libraries: @echo "--------------------------------------------------------------" @echo ">>> stage 4.2: building libraries" @echo "--------------------------------------------------------------" - cd ${.CURDIR}; ${WMAKE} -DNOHTML -DNOINFO -DNOMAN -DNOFSCHG -DNOLINT \ - libraries + cd ${.CURDIR}; \ + ${WMAKE} -DNOFSCHG -DNOHTML -DNOINFO -DNOLINT -DNOMAN -DNOPROFILE \ + libraries _depend: @echo @echo "--------------------------------------------------------------"