diff options
Diffstat (limited to 'otherlibs/unix/select.c')
| -rw-r--r-- | otherlibs/unix/select.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/unix/select.c b/otherlibs/unix/select.c index 07459fb6f..681b0aaf3 100644 --- a/otherlibs/unix/select.c +++ b/otherlibs/unix/select.c @@ -59,7 +59,7 @@ static value fdset_to_fdlist(file_descr_set *fdset) return res; } -value unix_select(value readfds, value writefds, value exceptfds, value timeout) /* ML */ +CAMLprim value unix_select(value readfds, value writefds, value exceptfds, value timeout) { file_descr_set read, write, except; double tm; @@ -98,7 +98,7 @@ value unix_select(value readfds, value writefds, value exceptfds, value timeout) #else -value unix_select(value readfds, value writefds, value exceptfds, value timeout) +CAMLprim value unix_select(value readfds, value writefds, value exceptfds, value timeout) { invalid_argument("select not implemented"); } #endif |