diff options
| author | Peter Eisentraut | 2000-07-01 21:16:44 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2000-07-01 21:16:44 +0000 |
| commit | b150906b8959ffb42a7322e1c9806798367d2e45 (patch) | |
| tree | 3f1327223b8026009743acd7dc016e27891168b5 /configure | |
| parent | 9e8d591877f43d792368f5547d45f3a615c5b5f0 (diff) | |
We don't need config.status substituting anything into Gen_fmgrtab.sh, we
just pass in CPP and AWK via the environment from the Makefile.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/configure b/configure index 2d92b0be117..c4232a845ba 100755 --- a/configure +++ b/configure @@ -8902,7 +8902,6 @@ trap 'rm -fr `echo "GNUmakefile src/Makefile.global src/backend/port/Makefile src/backend/catalog/genbki.sh - src/backend/utils/Gen_fmgrtab.sh src/include/version.h src/test/regress/GNUmakefile src/include/config.h" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15 @@ -9073,7 +9072,6 @@ CONFIG_FILES=\${CONFIG_FILES-"GNUmakefile src/Makefile.global src/backend/port/Makefile src/backend/catalog/genbki.sh - src/backend/utils/Gen_fmgrtab.sh src/include/version.h src/test/regress/GNUmakefile "} |