diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2002-02-21 13:54:44 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2002-02-21 13:54:44 +0000 |
| commit | c11df14a4dc276587902a6fd49f06e0930e7e204 (patch) | |
| tree | c68046d7dfc262bc68e44c9460e8b5baaed71c11 /otherlibs | |
| parent | 865d5f2e356da30fd9a532c866e40360a6a7aa34 (diff) | |
PR#643,728,869: inclure des definitions bidon de variables utilisees par otherlibs/threads/scheduler.c afin de pouvoir faire ocamlc.opt threads.cma
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4434 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs')
0 files changed, 0 insertions, 0 deletions