Isn't it a bad idea that this from pgxs.mk does not return a non-zero status?
check: @echo "'make check' is not supported." @echo "Do 'make install', then 'make installcheck' instead."
Or is something relying on a nonexisting test suite passing successfully?