On Fri, Jun 19, 2020 at 12:08 PM Thomas Munro <thomas.munro@gmail.com> wrote:
>
> On Fri, Jun 19, 2020 at 8:02 PM Peter Eisentraut
> <peter.eisentraut@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
+1