changeset 15512:10defb75c91b

configmake: fix make -q problem * modules/configmake (configmake.h): Update configmake.h's time stamp even if the file does not change. Otherwise, 'make -q' fails. Problem reported by Simon Josefsson in <http://lists.gnu.org/archive/html/bug-gnulib/2011-08/msg00088.html>.
author Paul Eggert <eggert@cs.ucla.edu>
date Thu, 11 Aug 2011 11:20:28 -0700
parents 52b887a92a8c
children 0aa440cb16df
files ChangeLog modules/configmake
diffstat 2 files changed, 10 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2011-08-11  Paul Eggert  <eggert@cs.ucla.edu>
+
+	configmake: fix make -q problem
+	* modules/configmake (configmake.h): Update configmake.h's time stamp
+	even if the file does not change.  Otherwise, 'make -q' fails.
+	Problem reported by Simon Josefsson in
+	<http://lists.gnu.org/archive/html/bug-gnulib/2011-08/msg00088.html>.
+
 2011-08-11  Jim Meyering  <meyering@redhat.com>
 
 	git-version-gen: correct the advice in a comment
--- a/modules/configmake
+++ b/modules/configmake
@@ -44,12 +44,8 @@
 	  echo '#define PKGINCLUDEDIR "$(pkgincludedir)"'; \
 	  echo '#define PKGLIBDIR "$(pkglibdir)"'; \
 	  echo '#define PKGLIBEXECDIR "$(pkglibexecdir)"'; \
-	} | sed '/""/d' > $@-t && \
-	if test -f $@ && cmp $@-t $@ > /dev/null; then \
-	  rm -f $@-t; \
-	else \
-	  rm -f $@; mv $@-t $@; \
-	fi
+	} | sed '/""/d' > $@-t
+	mv -f $@-t $@
 
 BUILT_SOURCES += configmake.h
 CLEANFILES += configmake.h configmake.h-t