mirror of
https://github.com/mirror/make.git
synced 2025-02-07 02:00:16 +08:00
(delete_target): Use safe_stat in place of stat.
This commit is contained in:
parent
30c1465265
commit
61da194af9
@ -416,7 +416,7 @@ delete_target (file, on_behalf_of)
|
||||
}
|
||||
#endif
|
||||
|
||||
if (stat (file->name, &st) == 0
|
||||
if (safe_stat (file->name, &st) == 0
|
||||
&& S_ISREG (st.st_mode)
|
||||
&& (time_t) st.st_mtime != file->last_mtime)
|
||||
{
|
||||
|
Loading…
Reference in New Issue
Block a user