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/unix.h | |
| 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/unix.h')
| -rw-r--r-- | otherlibs/unix/unix.h | 19 |
1 files changed, 3 insertions, 16 deletions
diff --git a/otherlibs/unix/unix.h b/otherlibs/unix/unix.h index 5a26a7c3d..8783328f8 100644 --- a/otherlibs/unix/unix.h +++ b/otherlibs/unix/unix.h @@ -13,19 +13,6 @@ #define Nothing ((value) 0) -#ifndef NULL -#ifdef __STDC__ -#define NULL ((void *) 0) -#else -#define NULL ((char *) 0) -#endif -#endif - -#ifdef __STDC__ -extern void unix_error(int errcode, char * cmdname, value arg); -extern void uerror(char * cmdname, value arg); -#else -void unix_error(); -void uerror(); -#endif - +extern void unix_error P((int errcode, char * cmdname, value arg)); +extern void uerror P((char * cmdname, value arg)); +extern value unix_freeze_buffer P((value)); |