diff options
-rw-r--r-- | Makefile.inc1 | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile.inc1 b/Makefile.inc1 index 786dc6a..69819bf 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 "--------------------------------------------------------------" |