diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2002-11-02 22:36:46 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2002-11-02 22:36:46 +0000 |
| commit | 123fb9f7131bd11d750775a6b1542875149109bc (patch) | |
| tree | 1642c03144486ec5f1f7a23d892706580ef4bd51 /debugger/program_management.ml | |
| parent | 449722dbf5f035b1207f38dd3b6434c1b709e7e6 (diff) | |
| download | ocaml-123fb9f7131bd11d750775a6b1542875149109bc.tar.gz | |
changement des locations, deuxieme tranche
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5232 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/program_management.ml')
| -rw-r--r-- | debugger/program_management.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/debugger/program_management.ml b/debugger/program_management.ml index f83549e877..ec5877fc26 100644 --- a/debugger/program_management.ml +++ b/debugger/program_management.ml @@ -119,9 +119,6 @@ let ask_kill_program () = let initialize_loading () = if !debug_loading then prerr_endline "Loading debugging informations..."; - if Filename.is_relative !program_name then begin - program_name := Filename.concat (getcwd ()) !program_name; - end; begin try access !program_name [F_OK] with Unix_error _ -> prerr_endline "Program not found."; |