diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-02-04 12:11:20 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-02-04 12:11:20 +0000 |
| commit | ea2c6b6820140be108090cb4f1b2eb423d7f4412 (patch) | |
| tree | 0fe0b820b03cac3a69e165ec9e49bdf8b3b51bf3 /otherlibs/unix/errmsg.c | |
| parent | a66bca5c9843fead2ac10755d555295d40c8375a (diff) | |
Utilisation de siglongjmp et sigsetjmp (POSIX) pour restaurer a coup sur le masque de signaux
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@622 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix/errmsg.c')
0 files changed, 0 insertions, 0 deletions