diff options
Diffstat (limited to 'src/configure')
| -rwxr-xr-x | src/configure | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/configure b/src/configure index ace665d6897..6a430565fea 100755 --- a/src/configure +++ b/src/configure @@ -6463,6 +6463,7 @@ trap 'rm -fr `echo "GNUmakefile interfaces/odbc/GNUmakefile interfaces/odbc/Makefile.global pl/plpgsql/src/Makefile + pl/plpgsql/src/mklang.sql pl/tcl/mkMakefile.tcldefs.sh include/config.h" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15 EOF @@ -6621,6 +6622,7 @@ CONFIG_FILES=\${CONFIG_FILES-"GNUmakefile interfaces/odbc/GNUmakefile interfaces/odbc/Makefile.global pl/plpgsql/src/Makefile + pl/plpgsql/src/mklang.sql pl/tcl/mkMakefile.tcldefs.sh "} EOF |