diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/configure b/configure index fbd28241484..dfbf4e1cd76 100755 --- a/configure +++ b/configure @@ -8875,11 +8875,8 @@ trap 'rm -fr `echo "GNUmakefile src/backend/port/Makefile src/backend/catalog/genbki.sh src/backend/utils/Gen_fmgrtab.sh - src/bin/pg_dump/Makefile - src/bin/pg_version/Makefile src/bin/pgtclsh/mkMakefile.tcldefs.sh src/bin/pgtclsh/mkMakefile.tkdefs.sh - src/bin/psql/Makefile src/include/version.h src/interfaces/Makefile src/interfaces/libpq/Makefile @@ -8891,11 +8888,7 @@ trap 'rm -fr `echo "GNUmakefile src/interfaces/libpgtcl/Makefile src/interfaces/odbc/GNUmakefile src/interfaces/python/GNUmakefile - src/pl/Makefile - src/pl/plpgsql/Makefile - src/pl/plpgsql/src/Makefile src/pl/tcl/mkMakefile.tcldefs.sh - src/pl/plperl/GNUmakefile src/test/regress/GNUmakefile src/include/config.h" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15 EOF @@ -9066,11 +9059,8 @@ CONFIG_FILES=\${CONFIG_FILES-"GNUmakefile src/backend/port/Makefile src/backend/catalog/genbki.sh src/backend/utils/Gen_fmgrtab.sh - src/bin/pg_dump/Makefile - src/bin/pg_version/Makefile src/bin/pgtclsh/mkMakefile.tcldefs.sh src/bin/pgtclsh/mkMakefile.tkdefs.sh - src/bin/psql/Makefile src/include/version.h src/interfaces/Makefile src/interfaces/libpq/Makefile @@ -9082,11 +9072,7 @@ CONFIG_FILES=\${CONFIG_FILES-"GNUmakefile src/interfaces/libpgtcl/Makefile src/interfaces/odbc/GNUmakefile src/interfaces/python/GNUmakefile - src/pl/Makefile - src/pl/plpgsql/Makefile - src/pl/plpgsql/src/Makefile src/pl/tcl/mkMakefile.tcldefs.sh - src/pl/plperl/GNUmakefile src/test/regress/GNUmakefile "} EOF |