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

Reply via email to