diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2010-01-20 16:26:46 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2010-01-20 16:26:46 +0000 |
| commit | bdc0fadee2dc9669818955486b4c3497016edda5 (patch) | |
| tree | 48047d836d903e84f7e0ae6d74613c2247c4fc81 /otherlibs/win32unix/unixsupport.c | |
| parent | 8cd4fc63907a541d05f31a740632948d453f69f9 (diff) | |
merge changes from release/3.11.1 to release/3.11.2
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9540 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/unixsupport.c')
| -rw-r--r-- | otherlibs/win32unix/unixsupport.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/otherlibs/win32unix/unixsupport.c b/otherlibs/win32unix/unixsupport.c index 24c4a9e45..6e32a39e7 100644 --- a/otherlibs/win32unix/unixsupport.c +++ b/otherlibs/win32unix/unixsupport.c @@ -65,6 +65,8 @@ value win_alloc_socket(SOCKET s) return res; } +#if 0 +/* PR#4750: this function is no longer used */ value win_alloc_handle_or_socket(HANDLE h) { value res = win_alloc_handle(h); @@ -74,6 +76,7 @@ value win_alloc_handle_or_socket(HANDLE h) Descr_kind_val(res) = KIND_SOCKET; return res; } +#endif /* Mapping of Windows error codes to POSIX error codes */ |