Re: NO_PROFILE versus WITHOUT_PROFILING
On Friday 27 November 2009 12:45:54 Frank Staals wrote: When I was setting up my system for a complete rebuild I came across something unclear to me; I always used NO_PROFILE in my make.conf, however from what I've read specific make options to build the kernel/base system should be in /etc/src.config. The manpage of src.conf specifies the option WITHOUT_PROFILING, which seemed to be the flag that I was looking for. Just to be certain I always keep the 'Rebuilding World' chapter of the handbook close, however that still specifies to use NO_PROFILE in make.conf. So now my question: What is the desired way of turning of profiling: NO_PROFILE in make.conf or WITHOUT_PROFILING in src.conf ? Thanks in advance WITHOUT_PROFILING in src.conf. The NO_xxx options are obsolete and should not be used. -- Pieter de Goeje ___ freebsd-questions@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-questions To unsubscribe, send any mail to freebsd-questions-unsubscr...@freebsd.org
Re: NO_PROFILE versus WITHOUT_PROFILING
Pieter de Goeje wrote: On Friday 27 November 2009 12:45:54 Frank Staals wrote: When I was setting up my system for a complete rebuild I came across something unclear to me; I always used NO_PROFILE in my make.conf, however from what I've read specific make options to build the kernel/base system should be in /etc/src.config. The manpage of src.conf specifies the option WITHOUT_PROFILING, which seemed to be the flag that I was looking for. Just to be certain I always keep the 'Rebuilding World' chapter of the handbook close, however that still specifies to use NO_PROFILE in make.conf. So now my question: What is the desired way of turning of profiling: NO_PROFILE in make.conf or WITHOUT_PROFILING in src.conf ? Thanks in advance WITHOUT_PROFILING in src.conf. The NO_xxx options are obsolete and should not be used. Yes - src.conf is used for the system. make.conf will contain options you want to apply to building ports. They were split to separate them. -Mike ___ freebsd-questions@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-questions To unsubscribe, send any mail to freebsd-questions-unsubscr...@freebsd.org
Re: NO_PROFILE versus WITHOUT_PROFILING
On Friday 27 November 2009 12:44:55 pm Michael Powell wrote: Pieter de Goeje wrote: On Friday 27 November 2009 12:45:54 Frank Staals wrote: When I was setting up my system for a complete rebuild I came across something unclear to me; I always used NO_PROFILE in my make.conf, however from what I've read specific make options to build the kernel/base system should be in /etc/src.config. The manpage of src.conf specifies the option WITHOUT_PROFILING, which seemed to be the flag that I was looking for. Just to be certain I always keep the 'Rebuilding World' chapter of the handbook close, however that still specifies to use NO_PROFILE in make.conf. So now my question: What is the desired way of turning of profiling: NO_PROFILE in make.conf or WITHOUT_PROFILING in src.conf ? Thanks in advance WITHOUT_PROFILING in src.conf. The NO_xxx options are obsolete and should not be used. Yes - src.conf is used for the system. make.conf will contain options you want to apply to building ports. They were split to separate them. -Mike Yes, src.conf is used for the system and that's where WITHOUT_PROFILING should go, yet still, you might should take a look in here first: http://phk.freebsd.dk/misc/stable7_build_options/ and see what might happen if you use it. read this thread (the whole thing) before going any further ..: http://lists.freebsd.org/pipermail/freebsd-current/2009-November/013561.html Best Regards Gonzalo Nemmi ___ freebsd-questions@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-questions To unsubscribe, send any mail to freebsd-questions-unsubscr...@freebsd.org
