mirror of
https://github.com/postgres/postgres.git
synced 2026-06-18 06:29:21 -04:00
54ba2f0623
This reverts commit 617d691412.
While I still think the basic idea is attractive, we need to sort
out what happens with built .c files, and there also seem to be
VPATH issues.