Fwd: Anton Baltser, bug with libdebuginfod

[Frank Ch. Eigler]

Hi -

> I need to install <elfutils/debuginfod.h>
> I tried to install elfutils - 0.189 version , and I could solve installing
> libdebuginfod.
> My system ubuntu 20.04/wsl2
> 
> I used ./configure --prefix=/usr                \
>               --disable-debuginfod         \
>               --enable-libdebuginfod=dummy \
>               --libdir=/lib

debuginfod/Makefile.am says:

if LIBDEBUGINFOD
pkginclude_HEADERS = debuginfod.h
endif

which is active with =dummy.  Just tried this same configure here, and
after a "make install", the header file does get installed.

- FChE