diff --git a/src/configure b/src/configure index 8a5098b3748938121e9e60ee0723923ef15708bc..ab35409a0dc0e9a4269b57e8a750a0a6ac7b4d00 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/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 +trap 'rm -fr `echo "GNUmakefile Makefile.global backend/port/Makefile bin/pg_version/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 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/pg_version 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/Makefile 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 diff --git a/src/configure.in b/src/configure.in index 607872c123b235183523c7babf6375ad00b302d0..275bddcf8610aaad348a4c609d0f78d093afd672 100644 --- a/src/configure.in +++ b/src/configure.in @@ -448,4 +448,4 @@ else fi -AC_OUTPUT(GNUmakefile Makefile.global backend/port/Makefile bin/pg_version bin/psql/Makefile bin/pg_dump/Makefile backend/utils/Gen_fmgrtab.sh) +AC_OUTPUT(GNUmakefile Makefile.global backend/port/Makefile bin/pg_version/Makefile bin/psql/Makefile bin/pg_dump/Makefile backend/utils/Gen_fmgrtab.sh)