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/termios.c | |
parent | 399445ff2b43ba199f79831127c45b39c5ffa6aa (diff) | |
parent | 70ff202375737794910dd292f907cb52173cfa4a (diff) | |
download | ocaml-233efc3afda778a57520b269f2d494628d12b567.tar.gz |
Merge branch 'trunk' into nick-get-copy
Diffstat (limited to 'otherlibs/unix/termios.c')
-rw-r--r-- | otherlibs/unix/termios.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/otherlibs/unix/termios.c b/otherlibs/unix/termios.c index f41af150c7..b92ae42661 100644 --- a/otherlibs/unix/termios.c +++ b/otherlibs/unix/termios.c @@ -307,7 +307,7 @@ CAMLprim value caml_unix_tcgetattr(value fd) return res; } -static int when_flag_table[] = { +static const int when_flag_table[] = { TCSANOW, TCSADRAIN, TCSAFLUSH }; @@ -346,7 +346,7 @@ CAMLprim value caml_unix_tcdrain(value fd) } #endif -static int queue_flag_table[] = { +static const int queue_flag_table[] = { TCIFLUSH, TCOFLUSH, TCIOFLUSH }; @@ -357,7 +357,7 @@ CAMLprim value caml_unix_tcflush(value fd, value queue) return Val_unit; } -static int action_flag_table[] = { +static const int action_flag_table[] = { TCOOFF, TCOON, TCIOFF, TCION }; |