|
From: Mark W. <ma...@so...> - 2023-02-01 22:54:02
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=e4c5c764e80db00aabb2e217e1f5ce9856eadae7 commit e4c5c764e80db00aabb2e217e1f5ce9856eadae7 Author: Mark Wielaard <ma...@kl...> Date: Wed Feb 1 23:52:59 2023 +0100 Add valgrind-monitor[-def].py to EXTRA_DIST So as to make sure these get copied into the tarball. Fixes make distcheck. Diff: --- 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 |