diff options
author | Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> | 2012-05-30 14:52:37 +0000 |
---|---|---|
committer | Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> | 2012-05-30 14:52:37 +0000 |
commit | d39d43e55fab716fbe05cec3c89233f0dd208835 (patch) | |
tree | bf5c56aa9bb32a0e3d49509b8b2863a9ec407563 /debugger/program_management.ml | |
parent | e3d82817909dd7bc69dff4f75aa63c5ba606d9c8 (diff) | |
download | ocaml-d39d43e55fab716fbe05cec3c89233f0dd208835.tar.gz |
merge with branch bin-annot
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/program_management.ml')
-rw-r--r-- | debugger/program_management.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/debugger/program_management.ml b/debugger/program_management.ml index 3e6ffa81d1..27f1d9cc58 100644 --- a/debugger/program_management.ml +++ b/debugger/program_management.ml @@ -116,8 +116,10 @@ let ask_kill_program () = (*** Program loading and initializations. ***) let initialize_loading () = - if !debug_loading then + if !debug_loading then begin prerr_endline "Loading debugging information..."; + Printf.fprintf Pervasives.stderr "\tProgram: [%s]\n%!" !program_name; + end; begin try access !program_name [F_OK] with Unix_error _ -> prerr_endline "Program not found."; |