> On Jun 11, 2019, at 5:40 AM, Stuart Henderson <s...@spacehopper.org> wrote: > > On 2019/06/11 01:52, Anthony J. Bentley wrote: >> Hi, >> >> Collision in openmpi-1.4.1p8: the following files already exist >> /usr/local/bin/otfdump (libotf-0.9.16 and openmpi-1.4.1p8) >> /usr/local/lib/libotf.a (libotf-0.9.16 and openmpi-1.4.1p8) >> /usr/local/lib/libotf.la (libotf-0.9.16 and openmpi-1.4.1p8) >> >> ok? > > Even with the @conflict marker I don't like the same named library.. > > I think it's better to take martin@'s openmpi update diff instead which > also avoids the conflict. >
(agreed)