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?