8000
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 36f41c7 commit 6c6ca04Copy full SHA for 6c6ca04
configure
@@ -8072,9 +8072,6 @@ trap 'rm -fr `echo "
8072
src/GNUmakefile
8073
src/Makefile.global
8074
src/backend/port/Makefile
8075
- src/pl/tcl/modules/pltcl_listmod
8076
- src/pl/tcl/modules/pltcl_loadmod
8077
- src/pl/tcl/modules/pltcl_delmod
8078
src/include/config.h" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15
8079
EOF
8080
cat >> $CONFIG_STATUS <<EOF
@@ -8232,9 +8229,6 @@ CONFIG_FILES=\${CONFIG_FILES-"GNUmakefile
8232
8229
8233
8230
8234
8231
8235
8236
8237
8238
"}
8239
8240
cat >> $CONFIG_STATUS <<\EOF
0 commit comments