mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-08 18:17:32 +08:00
This reverts commit 617d69141220f277170927e03a19d2f1b77aed77. 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.