diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1997-09-02 12:55:01 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1997-09-02 12:55:01 +0000 |
commit | 1517cea772058b0fcbe778d05b8b99c7e6f3b25f (patch) | |
tree | a2d817fe623f81b7729ed3cd2e128cad91eca02b /otherlibs/unix/wait.c | |
parent | d75918f7e459b507ac6b4b95f14df0a1eedd4937 (diff) |
Sources C convertis en ANSI C
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1696 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix/wait.c')
-rw-r--r-- | otherlibs/unix/wait.c | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/otherlibs/unix/wait.c b/otherlibs/unix/wait.c index 78ef7621e..75151a1f5 100644 --- a/otherlibs/unix/wait.c +++ b/otherlibs/unix/wait.c @@ -34,8 +34,7 @@ #define TAG_WSIGNALED 1 #define TAG_WSTOPPED 2 -static value alloc_process_status(pid, status) - int pid, status; +static value alloc_process_status(int pid, int status) { value st, res; @@ -59,7 +58,7 @@ static value alloc_process_status(pid, status) return res; } -value unix_wait() /* ML */ +value unix_wait(void) /* ML */ { int pid, status; @@ -80,8 +79,7 @@ static int wait_flag_table[] = { WNOHANG, WUNTRACED }; -value unix_waitpid(flags, pid_req) - value flags, pid_req; +value unix_waitpid(value flags, value pid_req) { int pid, status; @@ -95,6 +93,7 @@ value unix_waitpid(flags, pid_req) #else -value unix_waitpid() { invalid_argument("waitpid not implemented"); } +value unix_waitpid(value flags, value pid_req) +{ invalid_argument("waitpid not implemented"); } #endif |