diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-03-31 14:55:06 +0000 |
---|---|---|
committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-03-31 14:55:06 +0000 |
commit | 57fe3746f60884e55ae131d0bb43c290c025ecaf (patch) | |
tree | 464ae3000e4ec594edef990276e41745a5fa5968 /debugger/symbols.mli | |
parent | dd7bd5b339b2a93c365e5d15e7333737d39efc5d (diff) | |
download | ocaml-57fe3746f60884e55ae131d0bb43c290c025ecaf.tar.gz |
Revert "PR#6270: remove need for -I directives to ocamldebug in common case (patch by Josh Watzman)"
There seems to be a problematic interaction with backtrace collection. To test this,
make world.opt
cd testsuite
make one DIR=tests/backtrace/
This needs to be sorted out before the patch can go in again.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14510 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/symbols.mli')
-rw-r--r-- | debugger/symbols.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/debugger/symbols.mli b/debugger/symbols.mli index 883b81aa3e..980892e048 100644 --- a/debugger/symbols.mli +++ b/debugger/symbols.mli @@ -14,10 +14,6 @@ (* Modules used by the program. *) val modules : string list ref -(* Absolute directories containing source code on machine where source was - * compiled *) -val program_source_dirs : string list ref - (* Read debugging info from executable file *) val read_symbols : string -> unit |