Synopsis: evbmips (mipsn64el) fails in "build.sh tools" State-Changed-From-To: feedback->closed State-Changed-By: lukem%NetBSD.org@localhost State-Changed-When: Fri, 19 May 2023 23:00:09 +0000 State-Changed-Why: Submitter confirmed that this is fixed