Install wait_event_types.h in VPATH builds
authorMichael Paquier <michael@paquier.xyz>
Thu, 19 Oct 2023 00:42:46 +0000 (09:42 +0900)
committerMichael Paquier <michael@paquier.xyz>
Thu, 19 Oct 2023 00:42:46 +0000 (09:42 +0900)
commit7fb355db142958f463f7a0415248184f7ca4503f
tree5c958ac0afb3b2d86baa5e85b8003e76e697a1c4
parent76200e5ee469e4a9db5f9514b9d0c6a31b496bff
Install wait_event_types.h in VPATH builds

An extra rule is needed in src/include/Makefile for VPATH builds to
install any generated server-side include files, and wait_event_types.h
was forgotten from the set.

Issue introduced by fa88928470b5.

Reported-by: Christoph Berg
Discussion: https://postgr.es/m/ZTAA11u7CtX6NqlK@msg.df7cb.de
src/include/Makefile