mirror of
https://github.com/mirror/make.git
synced 2025-01-30 22:30:23 +08:00
entered into RCS
This commit is contained in:
parent
7aca4a343d
commit
015d472119
@ -404,7 +404,9 @@ delete_target (file, on_behalf_of)
|
|||||||
struct file *file;
|
struct file *file;
|
||||||
char *on_behalf_of;
|
char *on_behalf_of;
|
||||||
{
|
{
|
||||||
if (file->precious !! file->phony)
|
struct stat st;
|
||||||
|
|
||||||
|
if (file->precious || file->phony)
|
||||||
return;
|
return;
|
||||||
|
|
||||||
#ifndef NO_ARCHIVES
|
#ifndef NO_ARCHIVES
|
||||||
@ -431,7 +433,7 @@ delete_target (file, on_behalf_of)
|
|||||||
error ("*** [%s] Deleting file `%s'", on_behalf_of, file->name);
|
error ("*** [%s] Deleting file `%s'", on_behalf_of, file->name);
|
||||||
else
|
else
|
||||||
error ("*** Deleting file `%s'", file->name);
|
error ("*** Deleting file `%s'", file->name);
|
||||||
if (unlink (child->file->name) < 0)
|
if (unlink (file->name) < 0)
|
||||||
perror_with_name ("unlink: ", file->name);
|
perror_with_name ("unlink: ", file->name);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -444,7 +446,6 @@ void
|
|||||||
delete_child_targets (child)
|
delete_child_targets (child)
|
||||||
struct child *child;
|
struct child *child;
|
||||||
{
|
{
|
||||||
struct stat st;
|
|
||||||
struct dep *d;
|
struct dep *d;
|
||||||
|
|
||||||
if (child->deleted)
|
if (child->deleted)
|
||||||
|
Loading…
Reference in New Issue
Block a user