handle the case where the result
of file expansion is an alias
This commit is contained in:
parent
70806f1841
commit
9d4b59f7d6
@ -396,7 +396,10 @@ absolute_file_name(File0,File) :-
|
|||||||
is_absolute_file_name(File), !.
|
is_absolute_file_name(File), !.
|
||||||
'$extend_path_directory'(Name, D, File, Opts, NewFile, Call) :-
|
'$extend_path_directory'(Name, D, File, Opts, NewFile, Call) :-
|
||||||
user:file_search_path(Name, IDirs),
|
user:file_search_path(Name, IDirs),
|
||||||
( atom(IDirs) ->
|
(
|
||||||
|
'$extend_path_directory'(IDirs, D, File, Opts, NewFile, Call)
|
||||||
|
;
|
||||||
|
atom(IDirs) ->
|
||||||
'$split_by_sep'(0, 0, IDirs, Dir)
|
'$split_by_sep'(0, 0, IDirs, Dir)
|
||||||
;
|
;
|
||||||
Dir = IDirs
|
Dir = IDirs
|
||||||
|
Reference in New Issue
Block a user