diff --git a/configure b/configure
index ca886d9d551bcfcae5c99f7e3facb1e4b003c2eb..e9198f12ed02060454759b480819f8ae54372a46 100755
--- a/configure
+++ b/configure
@@ -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