# HG changeset patch
# User Paul Eggert <eggert@cs.ucla.edu>
# Date 1313086828 25200
# Node ID 10defb75c91b377086183ba4080817d51946eb7c
# Parent  52b887a92a8ce74a144de159ef3f7cedb6067390
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>.

diff --git a/ChangeLog b/ChangeLog
--- 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
diff --git a/modules/configmake b/modules/configmake
--- 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