Skip to content
Snippets Groups Projects
Commit 409b8c75 authored by Peter Eisentraut's avatar Peter Eisentraut
Browse files

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.
parent d5873b63
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
Showing
with 6 additions and 0 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment