20 Dec
2011
20 Dec
'11
2:39 a.m.
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. /M