diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-04-01 15:26:38 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-04-01 15:26:38 +0000 |
| commit | 13f9fab941ab9f3d0f7e7f5cdd8849ee09a0dc9c (patch) | |
| tree | 1b98ed21efb611011906bacbb87f23bbcbb4feb7 /otherlibs/unix/chroot.c | |
| parent | 97e6ed9a731f2f1dff903c08481e61b518721387 (diff) | |
Adaptation aux threads: un GC mineur peut se declencher et deplacer
des objets des qu'on rentre en blocking_section.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@720 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix/chroot.c')
0 files changed, 0 insertions, 0 deletions