On Fri, Jun 19, 2020 at 8:02 PM Peter Eisentraut<peter(dot)eisentraut(at)2ndquadrant(dot)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