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 21:43:05 +0200 |
| commit | e7c8efa064c8294369839798ab6b23104147f667 (patch) | |
| tree | ab68220921c5f76a71b6fa8bd83574ba5c04ffe2 /src/backend/executor/execCurrent.c | |
| parent | 3944238aabf29bf96f3fc2d332f6e80746553246 (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/execCurrent.c')
0 files changed, 0 insertions, 0 deletions