[Bug target/79644] Undocumented options in microblaze.opt

[roland.illig at gmx dot de]

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

Roland Illig <roland.illig at gmx dot de> changed:

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

--- Comment #1 from Roland Illig <roland.illig at gmx dot de> ---
Unfixed since 2010.

*** This bug has been marked as a duplicate of bug 47105 ***