comparison src/help.cc @ 7272:05ee52d7fad6

[project @ 2007-12-10 07:06:00 by jwe]
author jwe
date Mon, 10 Dec 2007 07:06:01 +0000
parents 81bed50b9feb
children 745a8299c2b5 2ca993580aca
comparison
equal deleted inserted replaced
7271:c18512d0ddb6 7272:05ee52d7fad6
1980 { 1980 {
1981 // Check if this version is first in the path 1981 // Check if this version is first in the path
1982 1982
1983 std::string file_name = load_path::find_fcn (name); 1983 std::string file_name = load_path::find_fcn (name);
1984 1984
1985 std::string dir = dirs[i] + file_ops::dir_sep_str; 1985 std::string dir = dirs[i];
1986
1987 if (! file_ops::is_dir_sep (dir[dir.length()-1]))
1988 dir += file_ops::dir_sep_str;
1986 1989
1987 if (file_name == dir + name + ".oct" 1990 if (file_name == dir + name + ".oct"
1988 || file_name == dir + name + ".m") 1991 || file_name == dir + name + ".m")
1989 { 1992 {
1990 bool symbol_found; 1993 bool symbol_found;