From: Jim Meyering <jim@meyering.net>
Date: Tue, 29 Aug 2006 15:50:43 +0000 (+0000)
Subject: * modules/configmake (Makefile.am): Make configmake.h depend on
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0a97da1f8eb46cb449f137a46ddb2b5e0719810d;p=pspp

* modules/configmake (Makefile.am): Make configmake.h depend on
Makefile.  Otherwise, a stale configmake.h could hang around.
---

diff --git a/ChangeLog b/ChangeLog
index 6326da8146..b093af4a7c 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2006-08-29  Jim Meyering  <jim@meyering.net>
+
+	* modules/configmake (Makefile.am): Make configmake.h depend on
+	Makefile.  Otherwise, a stale configmake.h could hang around.
+
 2006-08-29  Bruno Haible  <bruno@clisp.org>
 
 	* modules/localcharset (Depends-on): Add configmake.
diff --git a/modules/configmake b/modules/configmake
index 9cc2a98e62..8090a33c4f 100644
--- a/modules/configmake
+++ b/modules/configmake
@@ -23,7 +23,7 @@ Makefile.am:
 # Another advantage is that 'make' output is shorter.
 #
 # Listed in the same order as the GNU makefile conventions.
-configmake.h:
+configmake.h: Makefile
 	( \
 	  echo '#define PREFIX "$(prefix)"'; \
 	  echo '#define EXEC_PREFIX "$(exec_prefix)"'; \