
20 Dec
2011
20 Dec
'11
5:20 a.m.
On Tue, Dec 20, 2011 at 08:39:51AM +0100, Magnus Therning wrote:
Den 20 dec 2011 04:23 skrev "Fabio Riga"
: Hello,
do we really need profiling for every installed package? We could reduce
compiling time and disk space usage by 1/3rd.
We decided a while ago to include profiling in all packages. It *is* useful to have at times, despite the additional resources it consumes. It would be easy to remove profiling from *all* packages, but having it for some but not others will increase the amount of manual work required.
Please do keep profiling libraries. Otherwise it will be really difficult for developers. Regards ppk