diff options
| author | Alain Frisch <alain@frisch.fr> | 2015-07-24 13:11:26 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2015-07-24 13:11:26 +0000 |
| commit | 49a2533472c9f5a0eb531b5f96145816e1f3536e (patch) | |
| tree | 9d49261b1e01ddc9f8b960d1c803bb5e73a59bbe /boot | |
| parent | 60384ed840889c89c5b69418da557bf574dab9d2 (diff) | |
| download | ocaml-49a2533472c9f5a0eb531b5f96145816e1f3536e.tar.gz | |
PR#6902, GPR#210: runtime emits a warning when finalizing an I/O channel which is still open.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16245 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'boot')
| -rwxr-xr-x | boot/ocamlc | bin | 1805568 -> 1805449 bytes |
| -rwxr-xr-x | boot/ocamldep | bin | 567832 -> 567840 bytes |
| -rwxr-xr-x | boot/ocamllex | bin | 258983 -> 259171 bytes |
3 files changed, 0 insertions, 0 deletions
diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex 65877f5ee7..bd4ca78568 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamldep b/boot/ocamldep Binary files differindex 7a51c15c7e..0f4990a8d4 100755 --- a/boot/ocamldep +++ b/boot/ocamldep diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex 27d4b15730..9a53d96c28 100755 --- a/boot/ocamllex +++ b/boot/ocamllex |