Subject: Re: bug#43050: 28.0.50; portable dump file name should respect program-prefix config option

From: Glenn Morris <[email-masked]>
Date: Fri, 13 Nov 2020 00:47:17 -0500

Eli Zaretskii wrote:

> The only thing that's missing, AFAICT, is that "make install" should
> apply the prefix to the dumper file name.

There's a patch for that in https://debbugs.gnu.org/42790

People say that using the fingerprint would be better, and it would, but
there isn't a patch for that.