diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2023-05-15 11:05:44 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-15 11:05:44 +0200 |
commit | 233efc3afda778a57520b269f2d494628d12b567 (patch) | |
tree | 0f22c4b27dfd274817f5231d4052d214dd25e00f /otherlibs/unix/wait.c | |
parent | 399445ff2b43ba199f79831127c45b39c5ffa6aa (diff) | |
parent | 70ff202375737794910dd292f907cb52173cfa4a (diff) | |
download | ocaml-233efc3afda778a57520b269f2d494628d12b567.tar.gz |
Merge branch 'trunk' into nick-get-copy
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 }; |