diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2001-01-02 22:13:05 +0000 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2001-01-02 22:13:05 +0000 |
| commit | f0fc635220f4ff467fba421a26e8e2a385e19c77 (patch) | |
| tree | 58056cc5f1bfe6c808379390be8462d7872bba24 | |
| parent | 6b75942c72162f11152e8fbe54a27e1f54681d03 (diff) | |
| download | postgresql-f0fc635220f4ff467fba421a26e8e2a385e19c77.tar.gz postgresql-f0fc635220f4ff467fba421a26e8e2a385e19c77.zip | |
Only update stamp-h if config.status actually looks at config.h.
| -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 ]) |