From: Jim Meyering <jim@meyering.net>
Date: Fri, 4 Jul 1997 15:01:06 +0000 (+0000)
Subject: .
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ce919851a17cbca7bfad018bc0859940d94d40f9;p=pspp

.
---

diff --git a/m4/Makefile.in b/m4/Makefile.in
index 55bf44a4ac..730c21fd87 100644
--- a/m4/Makefile.in
+++ b/m4/Makefile.in
@@ -114,7 +114,7 @@ default: all
 $(srcdir)/Makefile.in: @MAINT@ Makefile.am $(top_srcdir)/configure.in $(ACLOCAL_M4) 
 	cd $(top_srcdir) && $(AUTOMAKE) --gnits m4/Makefile
 
-Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
+Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status $(BUILT_SOURCES)
 	cd $(top_builddir) \
 	  && CONFIG_FILES=$(subdir)/$@ CONFIG_HEADERS= $(SHELL) ./config.status