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:57:50 +0200 |
| commit | 44ff1035669928e1c9d6ba863194173696a5afbc (patch) | |
| tree | 82da69790cd5a512818f1c8152d1e796f8d37306 /src/backend/executor/nodeSetOp.c | |
| parent | 61f4750bf8f7135af03bbdbe2642094169dbcb10 (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/executor/nodeSetOp.c')
0 files changed, 0 insertions, 0 deletions