diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2002-02-11 13:51:40 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2002-02-11 13:51:40 +0000 |
commit | 429efbf7c2416a997d2ee5ca2d790cfdc944358b (patch) | |
tree | 13ea7ba24ad95fef48af5f6bffdee0c2f861c99d /byterun/backtrace.c | |
parent | 7f765d521eb9014f42fdf0a83d3c31be897d8dd6 (diff) |
Ajout Sys.executable_name, laisser Sys.argv.(0) inchange (PR#817)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4375 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/backtrace.c')
-rw-r--r-- | byterun/backtrace.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/byterun/backtrace.c b/byterun/backtrace.c index 4425ecd3a..2df3be510 100644 --- a/byterun/backtrace.c +++ b/byterun/backtrace.c @@ -101,7 +101,7 @@ static value read_debug_info(void) uint32 num_events, orig, i; value evl, l; - exec_name = caml_main_argv[0]; + exec_name = caml_exe_name; fd = attempt_open(&exec_name, &trail, 1); if (fd < 0) CAMLreturn(Val_false); read_section_descriptors(fd, &trail); |