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