Re: doing something about the broken dynloader.h symlink

[Thomas Munro]

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