}
- // selected string is a version number:
+ // selected string is a `valac --version` number:
if (driverpath.has_prefix ("Vala ")) {
- driverpath = driverpath.substring (5);
+ if (driverpath.has_suffix ("-dirty")) {
+ driverpath = driverpath.substring (5, driverpath.length - 6 - 5);
+ } else {
+ driverpath = driverpath.substring (5);
+ }
}
string[] segments = driverpath.split (".");
error_domain = api_root.search_symbol_str (container, error_domain_name);
if (error_domain == null) {
// TODO use ContentElement's source reference
- reporter.simple_error ("%s: %s: @throws: warning: %s does not exist", file_path, container.get_full_name (), error_domain_name);
+ reporter.simple_error ("%s: %s: @throws: error: %s does not exist", file_path, container.get_full_name (), error_domain_name);
base.check (api_root, container, file_path, reporter, settings);
return ;
}