On 2025-Oct-03, Tom Lane wrote: > Would it be unreasonable to discard the "check" target altogether? > It made sense back in the day when actually building the html docs > took many minutes. But I haven't used it in years, so I wonder > if anyone else has either.
I wouldn't particularly appreciate that. Doing "make check" takes 0.6 seconds for me, while the HTML build is 28 seconds. It's quite a difference. -- Álvaro Herrera 48°01'N 7°57'E — https://www.EnterpriseDB.com/ "This is a foot just waiting to be shot" (Andrew Dunstan)
