mirror of
https://github.com/postgres/postgres.git
synced 2026-06-04 06:45:49 -04:00
8169769ee5
This patch makes it possible to do a "real" make distclean (back to its fresh state) on the distribution after compilation, regression testing, etc.