diff options
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 */ |