diff --git a/configure b/configure
index 0b7835260547e6efad09571050d3300507597b10..b342fafd7b2e7b665d1eafc02e106c353a612ce3 100755
--- a/configure
+++ b/configure
@@ -8323,7 +8323,7 @@ EOF
 cat >> $CONFIG_STATUS <<\EOF
 
 # Update timestamp for config.h (see Makefile.global)
-echo >src/include/stamp-h
+test x"$CONFIG_HEADERS" != x"" && echo >src/include/stamp-h
 
 exit 0
 EOF
diff --git a/configure.in b/configure.in
index dd03fa5ea1cc3917ea7d380b6ab7cf4335fb9128..b16c7bdfce1787eeecbf7b1bcde320dbd22ec81a 100644
--- a/configure.in
+++ b/configure.in
@@ -1140,5 +1140,5 @@ AC_OUTPUT(
 ],
 [
 # Update timestamp for config.h (see Makefile.global)
-echo >src/include/stamp-h
+test x"$CONFIG_HEADERS" != x"" && echo >src/include/stamp-h
 ])