From e4c5c764e80db00aabb2e217e1f5ce9856eadae7 Mon Sep 17 00:00:00 2001 From: Mark Wielaard Date: Wed, 1 Feb 2023 23:52:59 +0100 Subject: [PATCH] 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 | 2 ++ 1 file changed, 2 insertions(+) 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 -- 2.47.3