X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?p=subdirmk.git;a=blobdiff_plain;f=subdirmk%2Fregen.mk.in;h=2661ee18758ece403ce046528f5cc5e6fc0f8ddd;hp=f9d7240d412dd0cbb2583b5e8a2bdb08e49fe18b;hb=5c370689670a4401baa5bb111f136d6ec82d0547;hpb=3e6fcdbf631779df96ae72d8146248c1b9f0f4c0

diff --git a/subdirmk/regen.mk.in b/subdirmk/regen.mk.in
index f9d7240..2661ee1 100644
--- a/subdirmk/regen.mk.in
+++ b/subdirmk/regen.mk.in
@@ -14,14 +14,20 @@ $(CONFIG_STATUS): $(top_srcdir)/$(CONFIGURE)
 
 MAKEFILES += subdirmk/regen.mk
 
-main.mk $(MAKEFILES): makefiles.phantom ;
-.INTERMEDIATE: makefiles.phantom
-makefiles.phantom: 						\
+main.mk $(MAKEFILES): .config.status.needed
+	./$<
+.INTERMEDIATE: .config.status.needed
+.config.status.needed: 						\
 		$(top_srcdir)/subdirmk/generate			\
 		$(CONFIG_STATUS)				\
 		$(top_srcdir)/Perdir.mk.in			\
 		$(foreach m,$(MAKEFILES),$(top_srcdir)/$(m).in)
-	./$(CONFIG_STATUS)
+	: $?
+	set -e; printf >$@.tmp "#!/bin/sh\nset -e\n%s %s"	\
+		"./$(CONFIG_STATUS)"				\
+		"$(if	$(filter-out %.mk.in, $?),,		\
+			$(patsubst %.mk.in,%.mk,$?))"	;	\
+		chmod +x $@.tmp; mv -f $@.tmp $@
 
 realclean:: clean
 	$(RM) config.status config.log