Den 20 dec 2011 04:23 skrev "Fabio Riga" <rifabio@gmail.com>:
>
> 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.
/M