[patch] target triplet for Microblaze.

[Joel Brobecker]

> >Also, `microblaze*-linux-*' is there to allow "microblaze-linux-gnu".
> >I'm not sure this is really kosher or not. I would think not (we're in
> >danger of thinking that the OS name is "gnu" rather than "linux".  But
> >keeping it if needed shouldn't be too much of a burden as long as this
> >is limited to configure.tgt.
> 
> Perhaps this would be better as "microblaze*-*-linux" like other targets.

I agree this would be better, especially if you think that this is not
going to be a problem for existing users.  We should even merge it
with Masaki's suggestion and make it "microblaze*-*-linux*".

-- 
Joel