svn commit: r228196 - in head: share/mk tools/build/options

[Bruce Evans]

On Fri, 2 Dec 2011, Max Khon wrote:

> Log:
>  Revert to conservative defaults. WITH_PROFILE is a default now.
>
>  NO_PROFILE overrides in Makefile.inc1 and bsd.own.m are left intact
>  so that the reversal to the WITHOUT_PROFILE will be easier in future.

Thanks.  Not building profiled libraries might have been best in 1993
when makeworld took hours (4-10?).  When I optimized makeworld in 1998,
it still took more than 1 hour but I removing profiling from it was
intentionally left out (except for bootstrapping).  It would have saved
only a few minutes.  Now, a whole makeworld should take a few minutes
and the few extra seconds for profiling libraries doesn't matter.

Bruce