diff options
| author | Bruce Momjian | 1997-09-12 23:24:25 +0000 |
|---|---|---|
| committer | Bruce Momjian | 1997-09-12 23:24:25 +0000 |
| commit | 26a1956f8c7cf14c11d66ffbe8d0445cb2529d08 (patch) | |
| tree | 739495bd2990def699cbdc0698f42aeb63099c69 /src/configure | |
| parent | aa0bad9638ba163cba0e34bb019759452f1bef16 (diff) | |
pg_version Makefile was not being processed.
Diffstat (limited to 'src/configure')
| -rwxr-xr-x | src/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/configure b/src/configure index df23eb346a5..8a5098b3748 100755 --- a/src/configure +++ b/src/configure @@ -4003,7 +4003,7 @@ done ac_given_srcdir=$srcdir -trap 'rm -fr `echo "GNUmakefile Makefile.global backend/port/Makefile bin/psql/Makefile bin/pg_dump/Makefile backend/utils/Gen_fmgrtab.sh include/config.h" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15 +trap 'rm -fr `echo "GNUmakefile Makefile.global backend/port/Makefile bin/pg_version bin/psql/Makefile bin/pg_dump/Makefile backend/utils/Gen_fmgrtab.sh include/config.h" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15 EOF cat >> $CONFIG_STATUS <<EOF @@ -4116,7 +4116,7 @@ EOF cat >> $CONFIG_STATUS <<EOF -CONFIG_FILES=\${CONFIG_FILES-"GNUmakefile Makefile.global backend/port/Makefile bin/psql/Makefile bin/pg_dump/Makefile backend/utils/Gen_fmgrtab.sh"} +CONFIG_FILES=\${CONFIG_FILES-"GNUmakefile Makefile.global backend/port/Makefile bin/pg_version bin/psql/Makefile bin/pg_dump/Makefile backend/utils/Gen_fmgrtab.sh"} EOF cat >> $CONFIG_STATUS <<\EOF for ac_file in .. $CONFIG_FILES; do if test "x$ac_file" != x..; then |