summaryrefslogtreecommitdiffstats
path: root/otherlibs/unix/wait.c
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1997-09-02 12:55:01 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1997-09-02 12:55:01 +0000
commit1517cea772058b0fcbe778d05b8b99c7e6f3b25f (patch)
treea2d817fe623f81b7729ed3cd2e128cad91eca02b /otherlibs/unix/wait.c
parentd75918f7e459b507ac6b4b95f14df0a1eedd4937 (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.c11
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