<p>Den 20 dec 2011 04:23 skrev &quot;Fabio Riga&quot; &lt;<a href="mailto:rifabio@gmail.com">rifabio@gmail.com</a>&gt;:<br>
&gt;<br>
&gt; Hello,<br>
&gt;<br>
&gt; do we really need profiling for every installed package? We could reduce compiling time and disk space usage by 1/3rd.</p>
<p>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.</p>

<p>/M</p>