diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1999-03-04 12:42:36 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1999-03-04 12:42:36 +0000 |
| commit | 348b0a47ab650c1a56c057ca06ee573bbc512142 (patch) | |
| tree | 6b63433116436bb524281b15f94a9a11114eb200 /stdlib/header.c | |
| parent | 814ec4e5f1c98c96332dc9a508f255bb6343e3c2 (diff) | |
Ne pas faire print_newline dans le signal handler (problemes de reentrance des I/O)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2333 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/header.c')
0 files changed, 0 insertions, 0 deletions