Bug#238257: race condition on timestamps for cmi/mli files

[Sven Luther <sven.luther@wanadoo.fr>]

On Tue, Mar 16, 2004 at 01:49:27PM +0100, Stefano Zacchiroli wrote:
> On Tue, Mar 16, 2004 at 09:42:38AM +0100, Sven Luther wrote:
> > > While playing around with the OpenGL bindings, I came across this
> > > annoying behavior with OCamlMakefile.  It seems that during the
> > > installation of lablgl, the following timestamps occured:
> > Just don't use OcamlMakefile, i really don't like the concept myself,
> 
> I don't think this is a satisfying answer for the bug reporter, don't
> you think the same? Why not suggesting not using ocaml at all? <g>

No, but Remi had already provided constructive information, so ...

I could have added a smiley or something for it though.

> Unfortunately I'm unable to help here since I'm not an OCamlMakefile

You see, you too don't use it. Packaging OCamlMakefile using stuff is a
nightmare also, so join me in discouraging its use :))

Friendly,

Sven Luther