On Fri, Jun 19, 2020 at 10:08:05PM +1200, Thomas Munro wrote:
> On Fri, Jun 19, 2020 at 8:02 PM Peter Eisentraut
> <peter.eisentr...@2ndquadrant.com> wrote:
>> +[# Remove links created by old versions of configure, so that there
>> +# are no broken symlinks in the tree
>> +rm -f src/include/dynloader.h])
> 
> +1

Not sure about your suggested patch, but +1 for doing something.
--
Michael

Attachment: signature.asc
Description: PGP signature

Reply via email to