diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2011-11-10 20:52:54 +0200 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2011-11-10 20:55:39 +0200 |
| commit | 1d9d7a91bf2cdd226530c7c6b37b63473b298f07 (patch) | |
| tree | 55792a0ec4ded250a253f1ab4b04dc2375d5d9e2 /src/backend/optimizer | |
| parent | a062ee4257c132b9119151b587b26b3a53558c76 (diff) | |
Fix server header file installation with vpath builds
Several server header files would not be installed in vpath builds
because they live in the build directory.
Diffstat (limited to 'src/backend/optimizer')
0 files changed, 0 insertions, 0 deletions