diff options
| -rwxr-xr-x | src/configure | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/configure b/src/configure index 3c95d0c64b5..aeff9f5fcc5 100755 --- a/src/configure +++ b/src/configure @@ -8004,6 +8004,7 @@ trap 'rm -fr `echo "GNUmakefile include/version.h interfaces/libpq/Makefile interfaces/ecpg/lib/Makefile + interfaces/ecpg/preproc/Makefile interfaces/libpq++/Makefile interfaces/libpgeasy/Makefile interfaces/libpgtcl/Makefile @@ -8180,6 +8181,7 @@ CONFIG_FILES=\${CONFIG_FILES-"GNUmakefile include/version.h interfaces/libpq/Makefile interfaces/ecpg/lib/Makefile + interfaces/ecpg/preproc/Makefile interfaces/libpq++/Makefile interfaces/libpgeasy/Makefile interfaces/libpgtcl/Makefile |