From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 8 Dec 2019 23:12:25 +0000 (+0000)
Subject: &TARGETS*: make autogenerated targets .PHONY
X-Git-Tag: subdirmk/0.3~124
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?p=subdirmk.git;a=commitdiff_plain;h=1b270f7465f5c94d8d47fd237c53dd9c827ed2c9;ds=inline

&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 dd22146..7bdbd88 100755
--- 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;
 }