diff --git a/configure b/configure
index c52cba912fc244284e967631bfa2f53063ceccfe..1e1dc927c1211af079de12b2b6bb4d847f05bf7e 100755
--- a/configure
+++ b/configure
@@ -7761,6 +7761,9 @@ if test x"$abs_top_srcdir" != x"$abs_top_builddir"; then
   echo "$ac_t""done" 1>&6
 fi
 
+# (see Makefile.global)
+echo >src/include/stamp-h
+
 trap '' 1 2 15
 cat > confcache <<\EOF
 # This file is a shell script that caches the results of configure
@@ -8242,7 +8245,6 @@ cat >> $CONFIG_STATUS <<EOF
 
 EOF
 cat >> $CONFIG_STATUS <<\EOF
-echo "timestamp file" > src/include/stamp-h
 
 exit 0
 EOF
diff --git a/configure.in b/configure.in
index 7e1085142bfa9af89c0b5dc1728df622517ea31a..7fea78f864579f18ef997b34d0b2bb4a4c0df584 100644
--- a/configure.in
+++ b/configure.in
@@ -1123,12 +1123,13 @@ if test x"$abs_top_srcdir" != x"$abs_top_builddir"; then
   AC_MSG_RESULT(done)
 fi
 
+# (see Makefile.global)
+echo >src/include/stamp-h
+
 AC_OUTPUT(
 [
   GNUmakefile
   src/GNUmakefile
   src/Makefile.global
   src/backend/port/Makefile
-],
-[echo "timestamp file" > src/include/stamp-h]
-)
+])
diff --git a/src/Makefile.global.in b/src/Makefile.global.in
index a09651f348a876174098e66f3071a858f234a09c..ac4864126f998cf58a5029188b7f0977c1b8a097 100644
--- a/src/Makefile.global.in
+++ b/src/Makefile.global.in
@@ -1,5 +1,5 @@
 # -*-makefile-*-
-# $Header: /cvsroot/pgsql/src/Makefile.global.in,v 1.114 2000/11/30 20:36:10 petere Exp $
+# $Header: /cvsroot/pgsql/src/Makefile.global.in,v 1.115 2000/12/16 13:03:25 petere Exp $
 
 #------------------------------------------------------------------------------
 # All PostgreSQL makefiles include this file and use the variables it sets,
@@ -313,6 +313,7 @@ $(top_builddir)/src/Makefile.global: $(top_srcdir)/src/Makefile.global.in $(top_
 $(top_builddir)/src/include/config.h: $(top_builddir)/src/include/stamp-h
 $(top_builddir)/src/include/stamp-h: $(top_srcdir)/src/include/config.h.in $(top_builddir)/config.status
 	cd $(top_builddir) && CONFIG_FILES= CONFIG_HEADERS=src/include/config.h ./config.status
+	echo >$@
 
 # When configure changes, rerun configure with the same options as
 # last time. To change configure, you need to run autoconf manually.