When creating Linux HelloWorld application targeting MicroBlaze processor, this gets built with CodeSourcery.
Solution
This is a known issue that will be fixed in 14.2. To work around this issue, the C/C++ build options will need to be modified to use the correct compiler.