On Fri, Jun 19, 2020 at 11:38 PM Julien Rouhaud <rjuju...@gmail.com> wrote: > On Fri, Jun 19, 2020 at 12:08 PM Thomas Munro <thomas.mu...@gmail.com> 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 > > +1
+1
