diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/configure.in b/configure.in index f69658acfc1..b9f41bb8850 100644 --- a/configure.in +++ b/configure.in @@ -1247,9 +1247,7 @@ fi AC_OUTPUT( [ GNUmakefile - src/GNUmakefile src/Makefile.global - src/backend/port/Makefile ], [ # Update timestamp for pg_config.h (see Makefile.global) |