diff options
| -rwxr-xr-x | configure | 6 |
1 files changed, 0 insertions, 6 deletions
@@ -8072,9 +8072,6 @@ trap 'rm -fr `echo " src/GNUmakefile src/Makefile.global src/backend/port/Makefile - src/pl/tcl/modules/pltcl_listmod - src/pl/tcl/modules/pltcl_loadmod - src/pl/tcl/modules/pltcl_delmod src/include/config.h" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15 EOF cat >> $CONFIG_STATUS <<EOF @@ -8232,9 +8229,6 @@ CONFIG_FILES=\${CONFIG_FILES-"GNUmakefile src/GNUmakefile src/Makefile.global src/backend/port/Makefile - src/pl/tcl/modules/pltcl_listmod - src/pl/tcl/modules/pltcl_loadmod - src/pl/tcl/modules/pltcl_delmod "} EOF cat >> $CONFIG_STATUS <<\EOF |