Subject: Re: making profiling kernel with ./build.sh
To: Makoto Fujiwara <email@example.com>
From: Gavan Fantom <firstname.lastname@example.org>
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?
Gillette - the best a man can forget