- if (!converters.convert(buffer, filename, filename,
- backend_format, format, result_file))
+ string const error_type = (format == "program")? "Build" : bufferFormat(*buffer);
+ string const ext = formats.extension(format);
+ string const tmp_result_file = changeExtension(filename, ext);
+ bool const success = converters.convert(buffer, filename,
+ tmp_result_file, buffer->fileName(), backend_format, format,
+ buffer->errorList(error_type));
+ // Emit the signal to show the error list.
+ buffer->errors(error_type);
+ if (!success)