Hi, Denis 'GNUtoo' Carikli <gnu...@cyberdimension.org> skribis:
> The fact that Valgrind doesn't work out of the box seems to already be > known[1] but I didn't find any bugreports on it. Indeed. Fixed in 6b6fb78724869c03394d0e6dc2f50f0777f6d467 on ‘core-updates’ as discussed with Mark (mjw) a couple of days ago on IRC. Unfortunately, until that branch is merge (most likely a few months from now), we’ll have to use the workaround you mentioned. Alternatively, maybe we could temporarily patch the ‘valgrind’ package such that it has ‘--extra-debuginfo-path=…’ by default. Would you like to give it a try? Thanks, Ludo’.
