diff options
| author | Alain Frisch <alain@frisch.fr> | 2012-04-18 07:17:58 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2012-04-18 07:17:58 +0000 |
| commit | 061ed556888aed2c84267caca6a6ab832eb2da46 (patch) | |
| tree | dd594255e06294b863e40a382af794adb60682aa /debugger/program_loading.ml | |
| parent | 215e508e8bd53f7299ffd7d828794e2f4d4ba6f4 (diff) | |
| parent | 3930c2fd79e43bd02e3bc79d6b047f3aeab0effe (diff) | |
| download | ocaml-more_unboxing.tar.gz | |
Sync with trunk.more_unboxing
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/more_unboxing@12369 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/program_loading.ml')
| -rw-r--r-- | debugger/program_loading.ml | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/debugger/program_loading.ml b/debugger/program_loading.ml index 6ef9d03e7c..bef9f80d17 100644 --- a/debugger/program_loading.ml +++ b/debugger/program_loading.ml @@ -50,10 +50,10 @@ let get_environment () = let env = Array.fold_right (fun elem acc -> - if have_name_in_config_env elem then - acc - else - elem :: acc) + if have_name_in_config_env elem then + acc + else + elem :: acc) env [] in Array.of_list (env @ !Debugger_config.environment) @@ -109,7 +109,7 @@ let generic_exec = "Win32" -> generic_exec_win | _ -> generic_exec_unix -(* Execute the program by calling the runtime explicitely *) +(* Execute the program by calling the runtime explicitly *) let exec_with_runtime = generic_exec (function () -> @@ -120,7 +120,7 @@ let exec_with_runtime = thinks each command line parameter is a file. So no good solution so far *) Printf.sprintf "%sset CAML_DEBUG_SOCKET=%s && %s %s %s" - (get_win32_environment ()) + (get_win32_environment ()) !socket_name runtime_program !program_name @@ -140,7 +140,7 @@ let exec_direct = "Win32" -> (* See the comment above *) Printf.sprintf "%sset CAML_DEBUG_SOCKET=%s && %s %s" - (get_win32_environment ()) + (get_win32_environment ()) !socket_name !program_name !arguments |