string vmlinux_path1, vmlinux_path2;
- if (!get_vmlinux_path_from_kernel_dist(debug_dir1, vmlinux_path1))
- return abigail::tools_utils::ABIDIFF_ERROR;
+ if (!vmlinux_path1.empty()
+ && !get_vmlinux_path_from_kernel_dist(debug_dir1, vmlinux_path1))
+ {
+ emit_prefix("abipkgdiff", cerr)
+ << "Could not find vmlinux in debuginfo package '"
+ << first_package.path()
+ << "\n";
+ return abigail::tools_utils::ABIDIFF_ERROR;
+ }
- if (!get_vmlinux_path_from_kernel_dist(debug_dir2, vmlinux_path2))
- return abigail::tools_utils::ABIDIFF_ERROR;
+ if (!vmlinux_path2.empty()
+ && !get_vmlinux_path_from_kernel_dist(debug_dir2, vmlinux_path2))
+ {
+ emit_prefix("abipkgdiff", cerr)
+ << "Could not find vmlinux in debuginfo package '"
+ << second_package.path()
+ << "\n";
+ return abigail::tools_utils::ABIDIFF_ERROR;
+ }
string dist_root1 = first_package.extracted_dir_path();
string dist_root2 = second_package.extracted_dir_path();