Subject: Re: making profiling kernel with ./build.sh
To: Makoto Fujiwara <makoto@ki.nu>
From: Gavan Fantom <gavan@coolfactor.org>
List: current-users
Date: 12/05/2007 10:32:36
Makoto Fujiwara wrote:
> Hi, I am just interesting to build profiling kernel. But
> it doesn't seems to do with ./build.sh, so..

This seems like a good idea at first sight, but I'm not sure that a flag 
is the right way to do this, because then you can't build a profiling 
kernel and a non-profiling kernel with the same build.sh command.

What's wrong with the current method - simply creating a new config file 
for the profiling kernel (say, FOO.PROF), which looks like this?


include "arch/i386/conf/FOO"

makeoptions     PROF="-pg"
options         GPROF

-- 
Gillette - the best a man can forget