diff options
| author | Nicolas Pouillard <np@nicolaspouillard.fr> | 2008-11-06 15:40:39 +0000 |
|---|---|---|
| committer | Nicolas Pouillard <np@nicolaspouillard.fr> | 2008-11-06 15:40:39 +0000 |
| commit | 901e3bfa82714a0995e4649ec8aea54a0000ca48 (patch) | |
| tree | 0291cbdff50529853a3016e6f4d942475e7576fd /otherlibs/win32unix/select.c | |
| parent | 526df2771ce71427a2a6feb72991165a98f4e26b (diff) | |
ocamlbuild: close the log file when cleanning and lauching the plugin.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9118 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/select.c')
0 files changed, 0 insertions, 0 deletions