diff options
| -rw-r--r-- | src/makefile/target.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/makefile/target.rs b/src/makefile/target.rs index 549c95c..ad46884 100644 --- a/src/makefile/target.rs +++ b/src/makefile/target.rs @@ -42,6 +42,10 @@ impl Target { if self.already_updated.get() { return true; } + #[cfg(feature = "full")] + if file.special_target_has_prereq(".PHONY", &self.name) { + return false; + } let exists = metadata(&self.name).is_ok(); let newer_than_all_dependencies = self.prerequisites.iter().all(|t| { file.get_target(t) |