<br><br><div class="gmail_quote">2011/12/20 Peter Hercek <span dir="ltr"><<a href="mailto:phercek@gmail.com">phercek@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="HOEnZb"><div class="h5">On 12/20/2011 11:20 AM, Piyush P Kurur wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On Tue, Dec 20, 2011 at 08:39:51AM +0100, Magnus Therning wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Den 20 dec 2011 04:23 skrev "Fabio Riga"<<a href="mailto:rifabio@gmail.com" target="_blank">rifabio@gmail.com</a>>:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hello,<br>
<br>
do we really need profiling for every installed package? We could reduce<br>
</blockquote>
compiling time and disk space usage by 1/3rd.<br>
<br>
We decided a while ago to include profiling in all packages. It *is* useful<br>
to have at times, despite the additional resources it consumes. It would be<br>
easy to remove profiling from *all* packages, but having it for some but<br>
not others will increase the amount of manual work required.<br>
</blockquote>
<br>
Please do keep profiling libraries. Otherwise it will be really difficult<br>
for developers.<br>
</blockquote>
<br></div></div>
+1<br><br></blockquote><div>We could provide it as an additional package... Anyway, it was just an idea... </div></div>