diff options
Diffstat (limited to 'src/configure')
| -rwxr-xr-x | src/configure | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/configure b/src/configure index dff1a13a104..60308b42ecb 100755 --- a/src/configure +++ b/src/configure @@ -7766,7 +7766,6 @@ trap 'rm -fr `echo "GNUmakefile backend/utils/Gen_fmgrtab.sh bin/pg_dump/Makefile bin/pg_version/Makefile - bin/pgaccess/Makefile bin/pgtclsh/mkMakefile.tcldefs.sh bin/pgtclsh/mkMakefile.tkdefs.sh bin/psql/Makefile @@ -7940,7 +7939,6 @@ CONFIG_FILES=\${CONFIG_FILES-"GNUmakefile backend/utils/Gen_fmgrtab.sh bin/pg_dump/Makefile bin/pg_version/Makefile - bin/pgaccess/Makefile bin/pgtclsh/mkMakefile.tcldefs.sh bin/pgtclsh/mkMakefile.tkdefs.sh bin/psql/Makefile |