|
@@ -353,11 +353,10 @@ find_file(const Filename &filename, const DSearchPath &searchpath) const {
|
|
|
Filename match(searchpath.get_directory(i), filename);
|
|
Filename match(searchpath.get_directory(i), filename);
|
|
|
if (searchpath.get_directory(i) == "." &&
|
|
if (searchpath.get_directory(i) == "." &&
|
|
|
filename.is_fully_qualified()) {
|
|
filename.is_fully_qualified()) {
|
|
|
- // A special case for the "." directory: to avoid prefixing
|
|
|
|
|
- // an endless stream of ./ in front of files, if the
|
|
|
|
|
- // filename already has a ./ prefixed
|
|
|
|
|
- // (i.e. is_fully_fully_qualified() is true), we don't
|
|
|
|
|
- // prefix another one.
|
|
|
|
|
|
|
+ // A special case for the "." directory: to avoid prefixing an
|
|
|
|
|
+ // endless stream of ./ in front of files, if the filename
|
|
|
|
|
+ // already has a ./ prefixed (i.e. is_fully_qualified() is
|
|
|
|
|
+ // true), we don't prefix another one.
|
|
|
match = filename;
|
|
match = filename;
|
|
|
}
|
|
}
|
|
|
PT(VirtualFile) found_file = get_file(match);
|
|
PT(VirtualFile) found_file = get_file(match);
|