[Bug default/26571] get_vmlinux_path_from_kernel_dist contains useless code

[gprocida+abigail at google dot com]

https://sourceware.org/bugzilla/show_bug.cgi?id=26571

--- Comment #1 from Giuliano Procida <gprocida+abigail at google dot com> ---
The code indentation in the function is also wrong in a couple of places.

-- 
You are receiving this mail because:
You are on the CC list for the bug.