setup: show-tool-versions: include the version of valgrind

diff --git a/misc/build_helpers/show-tool-versions.py b/misc/build_helpers/show-tool-versions.py
index c8aa9277f69043d058609e070d3b11e992fb5e77..3c91c25d14f14bc9d94fc3d2d07b6fcb53b3a58e 100644 (file)
--- a/misc/build_helpers/show-tool-versions.py
+++ b/misc/build_helpers/show-tool-versions.py
@@ -158,6 +158,7 @@ print_stdout(['darcs', '--version'])
 print_stdout(['darcs', '--exact-version'], label='darcs-exact-version')
 print_stdout(['7za'])
 print_stdout(['flappclient', '--version'])
+print_stdout(['valgrind', '--version'])
 
 print_as_ver()