Add valgrind-monitor[-def].py to EXTRA_DIST
commite4c5c764e80db00aabb2e217e1f5ce9856eadae7
authorMark Wielaard <mark@klomp.org>
Wed, 1 Feb 2023 22:52:59 +0000 (1 23:52 +0100)
committerMark Wielaard <mark@klomp.org>
Wed, 1 Feb 2023 22:53:17 +0000 (1 23:53 +0100)
tree7b163852ac6ffe8884ea914db198a798b2474d27
parentfd7daaa5e06d90325dd40be9467da3be694c8c7d
Add valgrind-monitor[-def].py to EXTRA_DIST

So as to make sure these get copied into the tarball.
Fixes make distcheck.
coregrind/Makefile.am