On 3/29/18 14:43, Alvaro Herrera wrote:
>> Hm, what's wrong just doing it in the normal build? It's a desired build
>> artifact, so I really don't see any argument for not building it by
>> default? Don't quite see what the advantage of doing it during make
>> check would be?
> I meant running something that would check that the file compiles,
> without actually producing the output. For the regular docs, there's a
> couple of orders of magnitude of difference in time to do the check vs.
> the actual build.
Or we do both.
--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services