fix extra cp
This commit is contained in:
parent
60969b9601
commit
e27ceac1aa
@ -121,7 +121,7 @@ delete_file(IFile, Dir, Recurse, Ignore) :-
|
|||||||
delete_file(N, File, _Dir, _Recurse, Ignore) :- number(N), !, % error.
|
delete_file(N, File, _Dir, _Recurse, Ignore) :- number(N), !, % error.
|
||||||
handle_system_error(N, Ignore, delete_file(File)).
|
handle_system_error(N, Ignore, delete_file(File)).
|
||||||
delete_file(directory, File, Dir, Recurse, Ignore) :-
|
delete_file(directory, File, Dir, Recurse, Ignore) :-
|
||||||
delete_directory(Dir, File, Recurse, Ignore).
|
delete_directory(Dir, File, Recurse, Ignore), !.
|
||||||
delete_file(_, File, _Dir, _Recurse, Ignore) :-
|
delete_file(_, File, _Dir, _Recurse, Ignore) :-
|
||||||
unlink_file(File, Ignore).
|
unlink_file(File, Ignore).
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user