From: Jim Meyering <jim@meyering.net>
Date: Tue, 22 Jan 2002 12:00:00 +0000 (+0000)
Subject: .
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ea85200b5a127eebdd69bda9bef1c5c111010e97;p=pspp

.
---

diff --git a/lib/Makefile.in b/lib/Makefile.in
index 1a343ed1e9..13332680e8 100644
--- a/lib/Makefile.in
+++ b/lib/Makefile.in
@@ -367,6 +367,8 @@ all: $(BUILT_SOURCES)
 $(srcdir)/Makefile.in:  Makefile.am  $(top_srcdir)/configure.ac $(ACLOCAL_M4)
 	cd $(top_srcdir) && \
 	  $(AUTOMAKE) --gnu  lib/Makefile
+Makefile:  $(srcdir)/Makefile.in  $(top_builddir)/config.status
+	cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)
 
 AR = ar
 
@@ -999,8 +1001,6 @@ stat.c: xstat.in
 	  $(srcdir)/xstat.in > $@-t
 	mv $@-t $@
 
-Makefile: $(BUILT_SOURCES)
-
 # The following is needed in order to install a simple file in $(libdir)
 # which is shared with other installed packages. We use a list of referencing
 # packages so that "make uninstall" will remove the file if and only if it