diff options
Diffstat (limited to 'otherlibs/unix/wait.c')
-rw-r--r-- | otherlibs/unix/wait.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/unix/wait.c b/otherlibs/unix/wait.c index 3509c76b98..b5aa0516bd 100644 --- a/otherlibs/unix/wait.c +++ b/otherlibs/unix/wait.c @@ -83,7 +83,7 @@ CAMLprim value caml_unix_wait(value unit) #define waitpid(pid,status,opts) wait4(pid,status,opts,NULL) #endif -static int wait_flag_table[] = { +static const int wait_flag_table[] = { WNOHANG, WUNTRACED }; |