diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2002-01-18 15:13:26 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2002-01-18 15:13:26 +0000 |
| commit | 09a8c6bc78f4a84c99b68baef2a1dfb10b8c4a4e (patch) | |
| tree | 5af49766e2f79faac1b5cd24b6fe7e3247ed82dc /otherlibs | |
| parent | e0c8e458d294b4d6bfeafcaba75ebede3dc22b5a (diff) | |
configure: suppression "smart preprocessing" pour MacOS X
asmrun/roots.c, byterun/alloc.c, byterun/gc_ctrl.c, byterun/minor_gc.c,
byterun/minor_gc.h, byterun/roots.c, byterun/startup.c:
derecursivation du GC mineur
byterun/config.h, stdlib/gc.mli: compactage active par defaut (300%)
otherlibs/unix/select.c: ajout include MacOS X
.cvsignore: bricoles
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4264 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs')
| -rw-r--r-- | otherlibs/threads/.cvsignore | 3 | ||||
| -rw-r--r-- | otherlibs/unix/select.c | 2 |
2 files changed, 4 insertions, 1 deletions
diff --git a/otherlibs/threads/.cvsignore b/otherlibs/threads/.cvsignore new file mode 100644 index 000000000..fb2df562d --- /dev/null +++ b/otherlibs/threads/.cvsignore @@ -0,0 +1,3 @@ +marshal.mli +pervasives.mli +unix.mli diff --git a/otherlibs/unix/select.c b/otherlibs/unix/select.c index 5db3341bd..674184b17 100644 --- a/otherlibs/unix/select.c +++ b/otherlibs/unix/select.c @@ -27,7 +27,7 @@ #include <sys/select.h> #endif -#ifdef __OpenBSD__ +#if defined(__OpenBSD__) || defined(__MACH__) #include <string.h> #endif |