diff options
| author | Jim Meyering <jim@meyering.net> | 2003-11-17 09:05:30 +0000 |
|---|---|---|
| committer | Jim Meyering <jim@meyering.net> | 2003-11-17 09:05:30 +0000 |
| commit | e1f171d2e219d8055a8c34de9fbe9dfd8bb51122 (patch) | |
| tree | 0b3086f784e59eee6a3329f1351dc3aa6075e1d7 | |
| parent | f04c4db6ff5f51c1dd9d9d82a2b2a3e700749f16 (diff) | |
| download | automake-e1f171d2e219d8055a8c34de9fbe9dfd8bb51122.tar.gz | |
Mark %MAKEFILE% as `.PRECIOUS'.
| -rw-r--r-- | lib/am/configure.am | 4 |
1 files changed, 4 insertions, 0 deletions
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 |