diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/configure b/configure index 9d729d91cc4..b0e59ccb5d8 100755 --- a/configure +++ b/configure @@ -17670,6 +17670,12 @@ ac_config_links="$ac_config_links src/backend/port/dynloader.c:src/backend/port/ ac_config_headers="$ac_config_headers src/include/pg_config.h" +# touch files to flex/bison not needed +cat UPDATED | grep '^\./' | while read FILE +do + touch "$FILE" +done + cat >confcache <<\_ACEOF # This file is a shell script that caches the results of configure # tests run on this system so they can be shared between configure |