Re: [Valgrind-developers] [valgrind] Add additional exp-ppc64le files to EXTRA_DIST

[Mark W. <ma...@kl...>]

Hi Paul,

On Sun, Nov 24, 2024 at 07:12:19AM +0000, Paul Floyd wrote:
> https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=7241959ebb88a588eebe5a9fd35d1642db71474b
> 
> commit 7241959ebb88a588eebe5a9fd35d1642db71474b
> Author: Paul Floyd <pj...@wa...>
> Date:   Sun Nov 24 08:10:51 2024 +0100
> 
>     Add additional exp-ppc64le files to EXTRA_DIST

Sorry. I had seen this, made the similar change, then forgot to add it to the commit... doh.

Thanks,

Mark