Added by Andrzej Zaborowski almost 15 years ago
Fix a similar configure typo from microblaze.
View differences