From 1b270f7465f5c94d8d47fd237c53dd9c827ed2c9 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 8 Dec 2019 23:12:25 +0000
Subject: [PATCH 1/1] &TARGETS*: make autogenerated targets .PHONY

Suggested-by: Mark Wooding <mdw@distorted.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 generate | 5 +++++
 1 file changed, 5 insertions(+)

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;
 }
-- 
2.30.2