From e1f171d2e219d8055a8c34de9fbe9dfd8bb51122 Mon Sep 17 00:00:00 2001 From: Jim Meyering Date: Mon, 17 Nov 2003 09:05:30 +0000 Subject: [PATCH] Mark %MAKEFILE% as `.PRECIOUS'. --- lib/am/configure.am | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/lib/am/configure.am b/lib/am/configure.am index ba7a58817..20f4eefa8 100644 --- a/lib/am/configure.am +++ b/lib/am/configure.am @@ -53,6 +53,10 @@ endif %?TOPDIR_P% cd $(top_srcdir) && \ $(AUTOMAKE) --%STRICTNESS% %USE-DEPS% %MAKEFILE-AM-SOURCES% +## Ensure that GNU make doesn't remove Makefile if ./config.status (below) +## is interrupted. Otherwise, the user would need to know to rerun +## ./config.status to recreate the lost Makefile. +.PRECIOUS: %MAKEFILE% ## This rule remakes the Makefile. %MAKEFILE%: %MAINTAINER-MODE% %MAKEFILE-DEPS% $(top_builddir)/config.status ## If Makefile is to be updated because of config.status, then run -- 2.47.2