From: | Robert Haas <robertmhaas(at)gmail(dot)com> |
---|---|
To: | Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> |
Cc: | John Naylor <jcnaylor(at)gmail(dot)com>, Stas Kelvich <s(dot)kelvich(at)postgrespro(dot)ru>, Andreas Karlsson <andreas(at)proxel(dot)se>, Andrew Dunstan <andrew(dot)dunstan(at)2ndquadrant(dot)com>, PostgreSQL Hackers <pgsql-hackers(at)postgresql(dot)org>, David Fetter <david(at)fetter(dot)org> |
Subject: | Re: unused_oids script is broken with bsd sed |
Date: | 2018-05-03 17:33:29 |
Message-ID: | CA+Tgmobds-8ed3L6f4=Er0TBmCAM4f5c0qxEuQRtQhUWxh9AVA@mail.gmail.com |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | Postg스포츠 토토 사이트SQL |
On Thu, Apr 26, 2018 at 11:29 AM, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> Personally, I use ccache which doesn't seem to care too much, but I agree
> than in some usages, extra touches of headers would be costly. Perhaps
> it's worth adding logic to avoid overwriting an existing output file
> unless it changed? I'm not sure; that would cost something too.
It seems like a good idea to me.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company
From | Date | Subject | |
---|---|---|---|
Next Message | Robert Haas | 2018-05-03 17:42:54 | Re: Remove mention in docs that foreign keys on partitioned tables are not supported |
Previous Message | Peter Eisentraut | 2018-05-03 17:16:29 | Re: Python 3.7 support |