Mark Wielaard 3751e963fa Add memcheck/tests/linux/debuginfod-check.pl to EXTRA_DIST
debuginfod-check.pl is necessary as pre-check for make regtest.
2021-03-15 15:47:54 +01:00
..