[Bug target/54663] microblaze-linux genchecksum failure: opening microblaze-c.o: No such file or directory

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54663

vries at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |FIXED

--- Comment #6 from vries at gcc dot gnu.org ---
(In reply to Michael Eager from comment #5)
> (In reply to vries from comment #4)
> > A patch was committed for this PR. Can this PR be closed?
> 
> Yes.