&TARGETS*: make autogenerated targets .PHONY

Suggested-by: Mark Wooding <mdw@distorted.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/generate b/generate
index dd22146339b130fc6ffbb7efdd9ab3ce0ccc8515..7bdbd881c9fab3b3d2f552e6465b73a93dad8c18 100755 (executable)
--- a/generate
+++ b/generate
@@ -254,6 +254,11 @@ sub process_subtree ($$) {
        }
        print O "\n";
     }
+    if (@targets) {
+       print O ".PHONY:";
+       print O " ${dir_prefix}${_}" foreach @targets;
+       print O "\n";
+    }
 
     return @targets;
 }