<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div dir="ltr"><font color="#000000"><span style="caret-color: rgb(0, 0, 0); background-color: rgba(255, 255, 255, 0);">On Dec 17, 2018, at 5:15 AM, Adriaan de Groot <<a href="mailto:groot@kde.org">groot@kde.org</a>> wrote:<br><br></span></font></div><blockquote type="cite"><div dir="ltr"><font color="#000000"><span style="caret-color: rgb(0, 0, 0); background-color: rgba(255, 255, 255, 0);">I suppose that's the error message from whatever tool you were using -- <br>portupgrade? Since subsequent deinstall from the port *did* work, I'd like to <br>chalk this up to "something was wrong once".</span></font></div></blockquote><div><br></div>More like “every time.” I am noting each failed port and wrapping them in a for loop to fix this. Seems like I shouldn’t have to do that for just one special family of ports but whatever. I have been through several cycles of this now. <br><br><div dir="ltr">--<div>This space intentionally left blank. </div></div></body></html>