diff options
| author | letouzey | 2007-10-08 01:28:38 +0000 |
|---|---|---|
| committer | letouzey | 2007-10-08 01:28:38 +0000 |
| commit | 7f3eebabdce21761e662df7a0f5652f32609b61f (patch) | |
| tree | 05465d650e6bf12c4f3aa089772bee09b7ab52ac /dev/include | |
| parent | 9a721e4d20927f0b97d4c5e346486122e2590f4d (diff) | |
add $COQTOP to the search path of ocamldebug
in a debug session with ocamldebug 3.10, it was looking for file
like contrib/foo/bar.ml and not just bar.ml in directories like
contrib/foo, hence failing to find such a file. A quick fix is to
add $COQTOP itself to the search path.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10193 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions