diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2008-03-17 18:24:56 +0000 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2008-03-17 18:24:56 +0000 |
| commit | e7115a224a3f43764ce31fc4ed4dcb19d73b668f (patch) | |
| tree | fd911a1cd1af137319add5da77031f4f99ca2fa7 /src/backend/optimizer/path/orindxpath.c | |
| parent | f09f055d32116fc5447ffba23b274dbf84aa1ffd (diff) | |
We need to rebuild objfiles.txt when one of the subdirectories' objfiles.txt
changed in case a new file got added.
Diffstat (limited to 'src/backend/optimizer/path/orindxpath.c')
0 files changed, 0 insertions, 0 deletions