| From: | Peter Eisentraut <peter_e(at)gmx(dot)net> |
|---|---|
| To: | Fabien COELHO <coelho(at)cri(dot)ensmp(dot)fr> |
| Cc: | pgsql-hackers <pgsql-hackers(at)postgresql(dot)org> |
| Subject: | Re: run xmllint during build (was Re: need xmllint on borka) |
| Date: | 2014-10-21 18:49:36 |
| Message-ID: | 5446AAC0.7090301@gmx.net |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-hackers |
On 9/14/14 3:34 AM, Fabien COELHO wrote:
>> and rebased this patch on top of that.
>
> Applied and tested, everything looks fine.
>
> The only remaining question is whether the xmllint check should always
> be called. You stated that it was stricter than sgml processing, so I
> would think it worth to always call it, but this is really a marginal
> preference. I think it is okay if some slaves in the build farm do build
> the various targets.
Committed.
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Doyle, Bryan | 2014-10-21 18:51:34 | PostgreSQL Service Name Enhancement - Wildcard support for LDAP/DNS lookup |
| Previous Message | Nick Barnes | 2014-10-21 17:27:57 | Re: Question about RI checks |