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

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

On Tue, Mar 16, 2004 at 12:49:45AM -0500, Mike Furr wrote:
> Package: ocaml-tools
> Version: 2003.10.03-1
> Severity: normal
> 
> Hello ocaml-maint team,
> 
> 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,
and have had only trouble with it myself. And i guess writing a ocaml
Makefile is not all that different than writing a C one.

Friendly,

Sven Luther