diff options
| author | Max Mouratov <mmouratov@gmail.com> | 2015-06-19 19:53:38 +0500 |
|---|---|---|
| committer | Max Mouratov <mmouratov@gmail.com> | 2017-03-17 20:50:16 +0500 |
| commit | b4db498c30aa5c752bfc6dc672ad97921d49138f (patch) | |
| tree | a1fb6e816c72c39c6dcbcc4e6f62830fdd3218fd /asmrun | |
| parent | 4ac705ce49fbfca762575458e7b893d3ba0f6e80 (diff) | |
| download | ocaml-b4db498c30aa5c752bfc6dc672ad97921d49138f.tar.gz | |
runtime: allowing for repeated calls to caml_startup and caml_shutdown
Diffstat (limited to 'asmrun')
| -rw-r--r-- | asmrun/startup.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/asmrun/startup.c b/asmrun/startup.c index 834e6cdda3..7abec8d11b 100644 --- a/asmrun/startup.c +++ b/asmrun/startup.c @@ -105,7 +105,8 @@ value caml_startup_exn(char **argv) char * exe_name, * proc_self_exe; char tos; - caml_stat_create_pool(); + if (!caml_startup_aux()) + return Val_unit; #ifdef WITH_SPACETIME caml_spacetime_initialize(); |