On Wed, Oct 14, 2009 at 08:27:47AM +0000, Sylvain Le Gall wrote:
> As Mehdi said, we have done something for -custom, but totaly forgot
> to speak about -g/-p flag when compiling. I think it is worth adding
What about '-p'? (profiling, and only for ocamlopt)
We surely do _not_ want it enabled in our objects, right?
--
Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7
zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/
Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie
sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime
Attachment:
signature.asc
Description: Digital signature