diff options
| -rwxr-xr-x | configure | 2 | ||||
| -rw-r--r-- | configure.in | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure index 0b783526054..b342fafd7b2 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 dd03fa5ea1c..b16c7bdfce1 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 ]) |