diff options
Diffstat (limited to 'lib/am/configure.am')
| -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 |