From: Mark Wielaard <mark@klomp.org>
Date: Wed, 1 Feb 2023 22:52:59 +0000 (+0100)
Subject: Add valgrind-monitor[-def].py to EXTRA_DIST
X-Git-Tag: VALGRIND_3_21_0~183
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e4c5c764e80db00aabb2e217e1f5ce9856eadae7;p=thirdparty%2Fvalgrind.git

Add valgrind-monitor[-def].py to EXTRA_DIST

So as to make sure these get copied into the tarball.
Fixes make distcheck.
---

diff --git a/coregrind/Makefile.am b/coregrind/Makefile.am
index dda0689ddf..80115f21fe 100644
--- a/coregrind/Makefile.am
+++ b/coregrind/Makefile.am
@@ -771,6 +771,8 @@ vglib_DATA  += m_gdbserver/valgrind-monitor-def.py
 
 # so as to make sure these get copied into the tarball
 EXTRA_DIST  += $(GDBSERVER_XML_FILES)
+EXTRA_DIST  += m_gdbserver/valgrind-monitor.py
+EXTRA_DIST  += m_gdbserver/valgrind-monitor-def.py
 
 #----------------------------------------------------------------------------
 # General stuff