Benjamin Leff <benjamin.w.leff@gmail.com> writes:
>> I believe the prevailing opinion was that the amount
>> of time saved by not building all of PG didn't justify the maintenance
>> effort to keep the build scripts working for that case
> IMO, it’s not just about time. For bare bones package managers when there’s
> no need to build the server, this saves a few GB.
It's still fundamentally about trading off machine resources versus
people time, though, and that tradeoff is not getting more attractive.
regards, tom lane
