[RFC][PATCH] gdb/debuginfod: Support on-demand downloading of debuginfo

[Tom Tromey]

>>>>> "Aaron" == Aaron Merey <amerey@redhat.com> writes:

Aaron> Currently if the index downloads successfully but the debuginfo download
Aaron> fails, the usual "Download failed" message is printed and it indicates
Aaron> that gdb will continue without that library's debuginfo.

Yeah, this seems fine to me.

Aaron>  So far I
Aaron> haven't seen any issues in these cases but making use of "noshared"
Aaron> is a good idea.

If it works :).  It would probably be useful for users if we had some
way for them to say "try again to find some debuginfo".  But maybe
noshared+sharedlibrary works enough for that, I am not sure.

Tom