[PATCH v5] Add debuginfod support to GDB

[Tom Tromey]

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

Aaron> gdb/ChangeLog:
Aaron> 2020-02-25  Aaron Merey  <amerey@redhat.com>

Aaron>         * Makefile.in: Handle optional debuginfod support.
Aaron>         * NEWS: Update.

Thank you again.

Aaron> +    printf_filtered (_("Download failed: %s. Continuing without source file %ps.\n"),

GNU style is two spaces after a period.

Aaron> +    printf_filtered (_("Download failed: %s. Continuing without debug info for %ps.\n"),

Here too.

Aaron> +		     strerror (-fd.get ()),

safe_strerror.  There was another spot that needed this too.

Ok with those nits fixed.  You don't have to re-submit it.

Tom